Software verification projects, tools, etc.
Also see the (probably incomplete) page of ACL2-related publications
.
Subtopics 
- Axe
- The Axe toolkit
- Execloader
- Read in some sections of ELF and Mach-O format files into stobjs
- Kestrel-books
- A collection of ACL2 books contributed mainly by Kestrel Institute.
- X86isa
- x86 ISA model and machine-code analysis framework developed at UT Austin.
Do you consider this article interesting? Share it on your network of Twitter contacts, on your Facebook wall or simply press "+1" to suggest this result in searches in Google, Linkedin, Instagram or Pinterest. Spreading content that you find relevant helps this blog to grow. Thank you!
Ubuntu is a Linux distribution that offers an operating system predominantly focused on desktop computers but also provides support for servers. Based on Debian GNU / Linux, Ubuntu focuses on ease of use, freedom in usage restriction, regular releases (every 6 months) and ease of installation.
0 comments:
Post a Comment