fcsl-pcm
Partial Commutative Monoids
AI summary
Monoid library
A formalisation of Partial Commutative Monoids (PCMs) for verification of concurrent programs.
- stars
- 26
- forks
- 13
- watching
- 11
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Verification framework
A verification system for reasoning about sequential heap-manipulating programs using separation logic and dependent types
Serialization library
A formally verified serialization library for Coq
Modal logic proofs
Machine-checked proofs of soundness, completeness, and decidability for modal logics in Coq.
Algebra library
A Coq formalization of abstract algebra using functional programming style
Concurrent programming verifier
Instantiates a simple programming language with Iris to verify concurrent separation logic programs
Program verifier
Automated verification of higher-order programs using separation logic
Algorithmic library
A collection of formalized and provable data structures and algorithms in Coq for educational purposes
Verification engine
Creating a programming language and ecosystem to make formal verification and provably correct software development practical and mainstream for working software engineers.
Algebra library
A Coq library providing algebraic data structures and algorithms
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Software Verifier
Automates Ada software verification with continuous testing and proofing
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions fcsl-pcm.
