gemoc / gemoc-studio-old
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for gemoc-studio-old
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- gemoc-studio☆25Updated last week
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆13Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- The Melange Language Workbench☆28Updated last year
- TriCera: a model checker for C programs☆18Updated last week
- Language bindings for Maude☆19Updated 7 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- The LTSmin model checking toolset☆53Updated 3 weeks ago
- The Next Generation Logic Library☆135Updated 2 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- AE-solver and Skolemizer☆17Updated last year
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- TurnKey artifact for Z3☆34Updated last week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆22Updated 4 months ago
- JaTyC: a typestate checker for Java☆15Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Library for Data Decision Diagrams and Set Decision Diagrams☆13Updated 2 months ago
- Savina is an Actor Benchmark Suite.☆37Updated 3 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 3 weeks ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 3 years ago
- An automated deductive program verifier.☆39Updated last year