Published April 14, 2025 | Version v2
Software Open

Veil: A Framework for Automated and Interactive Verification of Transition Systems. Software Artefact.

Creators

  • 1. ROR icon National University of Singapore
  • 2. ROR icon Technion – Israel Institute of Technology
  • 3. ROR icon Yale-NUS College

Files

README.md

Files (4.3 GB)

Name Size Download all
md5:deb7918ebf75e1a6c8a409a656a3753a
21.8 kB Preview Download
md5:4e6717bce886b4370ff120729dedde5c
4.3 GB Preview Download
md5:88664ca82c8c518ca352491b6574c085
222.3 kB Preview Download

Additional details

Software

Repository URL
https://github.com/verse-lab/veil
Programming language
Lean
Development Status
Active