veil
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
1-4 of 4 versions of veil
Sort by
Date
4a17cf1v4.23.0v4.23.065.0 MB4a17cf1v4.23.0v4.23.065.0 MB510f595v4.22.0v4.22.064.4 MBa90d8dcv1.0.0v4.15.0