gemoc / gemoc-studio-old
☆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
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago
- The Melange Language Workbench☆29Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- gemoc-studio☆25Updated 2 months ago
- SMTInterpol interpolating SMT solver☆62Updated 7 months ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- AE-solver and Skolemizer☆16Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆66Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Verimag Polyhedra Library☆17Updated 4 years ago
- PC-miner tool for program chairs☆24Updated last month
- TurnKey artifact for Z3☆36Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated 6 months ago
- Language bindings for Maude☆20Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆66Updated this week
- The LTSmin model checking toolset☆57Updated 2 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated last year
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 3 months ago
- Solver for Constrained Horn Clauses☆35Updated this week
- Xtext/Sirius Integration☆21Updated last month
- Definition of the Viper intermediate verification language.☆80Updated 2 weeks ago
- JavaSMT - Unified Java API for SMT solvers.☆196Updated this week
- Generates loop invariants for program verification☆59Updated 4 years ago
- A Datalog compiler and library☆19Updated 3 years ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- A Tool for Multi-Paradigm Modeling☆24Updated 4 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- JaTyC: a typestate checker for Java☆16Updated 2 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year