gemoc / gemoc-studio-oldLinks
☆12Updated 7 years ago
Alternatives and similar repositories for gemoc-studio-old
Users that are interested in gemoc-studio-old are comparing it to the libraries listed below
Sorting:
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated this week
- Language bindings for Maude☆23Updated last month
- Repository of benchmarks for SYNTCOMP☆14Updated 2 months ago
- SMTInterpol interpolating SMT solver☆68Updated last month
- Verimag Polyhedra Library☆18Updated 8 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- TurnKey artifact for Z3☆42Updated last month
- Kodkod solver for relational logic☆80Updated 2 years ago
- AE-solver and Skolemizer☆17Updated last year
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 2 years ago
- Unified Maude model-checking tool☆12Updated 2 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 2 months ago
- PC-miner tool for program chairs☆29Updated 3 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆71Updated 5 months ago
- Examples for TLAPS (TLA+ Proof System)☆16Updated 5 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆34Updated 2 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆71Updated 3 months ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆62Updated 3 weeks ago
- ☆56Updated 7 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- The LTSmin model checking toolset☆60Updated last year
- Definition of the Viper intermediate verification language.☆92Updated last week
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆114Updated this week
- Spoofax runtime☆154Updated 7 months ago
- VATA Tree Automata Library☆33Updated last year
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆86Updated last week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago