Model Checking
Showing 8 of 8 projects
A state machine based programming language for formally modeling and analyzing complex distributed systems.
A bit-precise model checker for verifying safety and correctness properties in Rust code.
A personal wiki containing notes and drafts about software quality assurance topics and practices.
A curated wiki and collection of notes about software quality assurance, testing, and best practices.
An executable specification language with delightful tooling based on the Temporal Logic of Actions (TLA+)
An extensible software model checking framework for Java bytecode programs to detect concurrency defects and runtime errors.
A symbolic model checker for TLA+ and Quint specifications, translating them into SMT constraints for verification.
A stateless model checking tool for Erlang programs that systematically tests for concurrency errors.
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.