There is a newer version of the record available.

Published November 11, 2023 | Version svcomp24-20231111
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

Description

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

Files

mopsa.zip

Files (10.2 MB)

Name Size Download all
md5:fa9f215653632ae089ba74c9264da634
10.2 MB Preview Download