Lightweight formal verification libraries and interactive environments targeted primarily for use in academic and instructional settings.
-
Notifications
You must be signed in to change notification settings - Fork 0
Infrastructure for defining and implementing integrated environments that incorporate multiple formal reasoning assistance, verification, validation, analysis, and interpretation techniques.
aartifact/aartifact
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