p-org / peasy-ide-vscode
Peasy: An Intuitive Development Environment for P
☆13Updated 3 weeks ago
Alternatives and similar repositories for peasy-ide-vscode:
Users that are interested in peasy-ide-vscode are comparing it to the libraries listed below
- An overview of property-based testing functionality☆61Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆94Updated 2 weeks ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- ☆22Updated 4 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆73Updated this week
- Staged Abstract Interpreters☆66Updated 2 years ago
- Program logic for developing and verifying distributed systems☆34Updated this week
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆68Updated last year
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆91Updated last month
- Alloy with browser-based visualizations☆29Updated 3 years ago
- AWS Encryption SDK☆44Updated last week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- Datalog with support for SMT queries and first-order functional programming☆157Updated 5 months ago
- The Gillian Platform main repository☆85Updated this week
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆125Updated 2 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 9 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated 2 years ago
- Collection of Distributed Protocol Verification Problems☆12Updated 11 months ago
- Definition of the Viper intermediate verification language.☆85Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆67Updated 3 weeks ago
- The TLA⁺ Proof Manager☆73Updated this week
- EGraphs in OCaml☆64Updated last year
- SymDiff-Differential-Program-Verifier☆34Updated last month
- TLA+ Foundation☆29Updated last week
- Datalog that's as easy as ABC.☆59Updated 5 months ago
- SMTInterpol interpolating SMT solver☆66Updated last week
- TriCera: a model checker for C programs☆24Updated last month
- A mechanisation of Wasm in Coq(Rocq)☆104Updated 3 weeks ago