Software verification projects, tools, etc.
Also see the (probably incomplete) page
of ACL2-related publications
- A collection of ACL2 books contributed mainly by Kestrel Institute.
- x86 ISA model and machine-code analysis framework developed
at UT Austin
- Read in some sections of ELF and Mach-O format files into stobjs
- The Axe toolkit