viperproject / VerifiedSCION
Verifying the SCION architecture using Gobra
☆11Updated last month
Alternatives and similar repositories for VerifiedSCION:
Users that are interested in VerifiedSCION are comparing it to the libraries listed below
- ☆50Updated 4 months ago
- Definition of the Viper intermediate verification language.☆85Updated 3 weeks ago
- ☆26Updated last year
- PL conference deadline countdowns☆60Updated last month
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆73Updated this week
- Separation Logic Proofs in Lean☆36Updated last month
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆99Updated last week
- Ltac2 tutorial☆45Updated 2 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 2 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆20Updated this week
- A foundational framework for modular cryptographic proofs in Coq☆64Updated last week
- Solver for Constrained Horn Clauses☆38Updated this week
- ☆36Updated this week
- ☆35Updated last week
- A language for symbolic transitions system, inspired by Ivy.☆68Updated last year
- ☆28Updated 2 weeks ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- Collection of Automated Reasoners☆28Updated 2 months ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- An automated deductive program verifier based on concurrent separation logic☆14Updated this week
- A Lustre compiler in Coq☆68Updated 3 weeks ago
- Formalization of C++ for verification purposes.☆80Updated 2 weeks ago
- Coq library for tactics, basic definitions, sets, maps☆47Updated last month
- The main codex repository☆19Updated 6 months ago
- Libraries useful for Dafny programs☆43Updated last month
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆72Updated last week
- ☆13Updated 3 months ago
- ☆13Updated last month
- Official repository of the Autosubst 2 project.☆20Updated last year