Bronze medal Software Verification Competition 2023 (SV-Comp)

on April 24, 2023

The Mopsa Software won the bronze medal in the “Software Systems” category at the Software Competition 2023 (SV-COMP). SEAS Thematic Group.

More...