Lightweight formal verification libraries and interactive environments targeted primarily for use in academic and instructional settings.
aartifact/aartifact
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published