gemoc / gemoc-studio-oldLinks
☆12Updated 6 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:
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- gemoc-studio☆28Updated 3 months ago
- SMTInterpol interpolating SMT solver☆66Updated 2 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- The Melange Language Workbench☆29Updated last year
- Verimag Polyhedra Library☆18Updated 2 months ago
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago
- Language bindings for Maude☆23Updated 5 months ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Repository of benchmarks for SYNTCOMP☆11Updated 3 weeks ago
- TurnKey artifact for Z3☆38Updated 2 weeks ago
- ☆55Updated 2 months ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- Unified Maude model-checking tool☆12Updated 5 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Kodkod solver for relational logic☆76Updated last year
- AE-solver and Skolemizer☆17Updated 6 months ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated 2 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- ☆48Updated 11 months ago
- Some Lustre program examples☆21Updated 6 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- JaTyC: a typestate checker for Java☆17Updated 4 months ago
- Linearizability Visualizer☆10Updated 10 years ago