Published March 31, 2026 | Version v36
Software Open

Theta-svcomp - Verifier Archive

Authors/Creators

  • 1. Budapest University of Technology and Economics
  • 2. LMU Munich

Files

Theta-svcomp.zip

Files (364.9 MB)

Name Size Download all
md5:8e8184df33b0e623566e931432303c0a
364.9 MB Preview Download

Additional details

Software

Repository URL
https://github.com/ftsrg/theta
Programming language
Java , Kotlin