Software Verification
Showing 6 of 6 projects
A dynamic binary analysis library for building program analysis tools, automating reverse engineering, and emulating code.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
An extensible software model checking framework for Java bytecode programs to detect concurrency defects and runtime errors.
A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.
A tool that converts Haskell source code into equivalent Coq source code for formal verification.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.