Concurrency Verification
3 projects
Showing 3 of 3 projects
VeriFastRust
A research prototype tool for modular formal verification of C, Rust, and Java programs using separation logic.
#research-tool#program-verification#memory-safety
Stars489
Forks71
Last commit1 month ago
Program LogicsCoq
Coq formalization of program logics (Hoare logic, separation logic, concurrent separation logic) for verifying imperative and concurrent programs.
#hoare-logic#coq#formal-methods
Stars44
Forks9
Last commit5 years ago
FCSL-PCMRocq Prover
A Coq library formalizing Partial Commutative Monoids (PCMs) for separation logic-based program verification.
#coq#algebraic-structures#theorem-proving
Stars35
Forks13
Last commit1 month ago
Related Tags
Community-curated · Updated weekly · 100% open source
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.