Lightweight formal verification libraries and interactive environments targeted primarily for use in academic and instructional settings.
aartifact Goto Github PK
Name: Usability in Formal Verification and Aartifact
Type: Organization
Bio: Archive of past software frameworks and prototypes developed as part of work on usability of formal reasoning and verification tools.
Location: Boston, MA
Blog: https://aartifact.org