Gold Medal 🥇 for the Software System category at SV-COMP 2024

MOPSA participated to the SV-COMP 2024 software verification competition and won the Gold Medal 🥇 in the Software System category. You can see the detailed competition results, or read our article.

The results are announced at the TACAS during the ETAPS European joint conferences on theory and practice of software.

This is MOPSA’s second participation to SV-COMP. For it’s first participation, in 2023, it won the Bronze Medal also in the Software System category.