New Webpage
MOPSA has a new Webpage
Jul 24, 2024
MOPSA 1.0 released!
Version 1.0 of MOPSA is released and available as an Opam package.
Jul 21, 2024
Gold Medal 🥇 for the Software System category at SV-COMP 2024
MOPSA won the Gold Medal in the Software System category for its second participation to the SV-COMP software verification competition.
Apr 8, 2024