There is a newer version of the record available.

Published November 16, 2023 | Version svcomp24-20231116
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:e77d30c6224788b0ca8b834b4c815843
10.2 MB Preview Download