Published November 22, 2023 | Version svcomp24-20231122
Software Open

Mopsa at SV-Comp 2024

Authors/Creators

  • 1. ROR icon Centre de Recherche en Informatique, Signal et Automatique de Lille
  • 2. ROR icon Laboratoire de Recherche en Informatique de Paris 6
  • 3. École Normale Supérieure, Université PSL, Paris, France

Description

Mopsa verification and witness validation scripts submitted to SV-Comp 2024.

Files

mopsa.zip

Files (15.6 MB)

Name Size Download all
md5:fffd34d30d4cc8729f894c6fad66dc86
15.6 MB Preview Download