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
- gemoc-studio☆26Updated last week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Language bindings for Maude☆21Updated 2 months ago
- Kodkod solver for relational logic☆74Updated last year
- SMTInterpol interpolating SMT solver☆63Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last month
- A Tool for Multi-Paradigm Modeling☆23Updated 5 months ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated last year
- Verimag Polyhedra Library☆17Updated 4 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- The Next Generation Logic Library☆140Updated 3 months ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated 2 weeks ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 5 months ago
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆14Updated 6 months ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- Refinery: an efficient graph solver for generating well-formed models☆16Updated this week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆25Updated this week
- Xtext/Sirius Integration☆21Updated 3 months ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- SymDiff-Differential-Program-Verifier☆35Updated last week