Published October 10, 2024 | Version v1
Software Open

Xmm Model Checker Benchmarks

Creators

  • 1. JetBrains sro
  • 2. ROR icon Delft University of Technology
  • 3. ROR icon Neapolis University Pafos
  • 4. Constructor University Bremen

Files

instructions.pdf

Files (2.8 GB)

Name Size Download all
md5:a45b037d9205d28b1cc99b1d8b19bb50
135.6 kB Preview Download
md5:a4272b6856d2fac43941d83db86866e4
2.8 GB Download

Additional details

Software

Programming language
Python, C, C++