aneris
System verification framework
A framework for developing and verifying distributed systems using separation logic
Program logic for developing and verifying distributed systems
33 stars
10 watching
8 forks
Language: Coq
last commit: 2 months ago coqdistributed-systemsirisseparation-logic
Related projects:
Repository | Description | Stars |
---|---|---|
| A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
| Creating a programming language and ecosystem to make formal verification and provably correct software development practical and mainstream for working software engineers. | 810 |
| A framework for implementing and verifying distributed systems using Coq | 95 |
| Automated verification of higher-order programs using separation logic | 57 |
| A tool for interactive theorem proving and language support in Coq | 153 |
| Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
| A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant | 32 |
| A Coq-based library for establishing logical relations in formal verification and proof assistance | 20 |
| A verification system for reasoning about sequential heap-manipulating programs using separation logic and dependent types | 70 |
| A framework for formally verifying distributed systems implementations in Coq. | 595 |
| A PowerShell module for collecting logs and forensics data from VMware vSphere environments. | 143 |
| A toolkit for routing, normalizing, and enriching security event logs across the cloud | 332 |
| A verification system for formal methods and specification languages | 141 |
| This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |