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:
- Verimag Polyhedra Library☆18Updated 3 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Language bindings for Maude☆23Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated this week
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Unified Maude model-checking tool☆12Updated 6 months ago
- SMTInterpol interpolating SMT solver☆67Updated 2 weeks ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 9 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆82Updated 2 weeks ago
- Repository of benchmarks for SYNTCOMP☆11Updated last month
- AE-solver and Skolemizer☆17Updated 7 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆48Updated 2 years ago
- ☆48Updated 2 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- Solver for Constrained Horn Clauses☆39Updated this week
- Java-hosted execution of Protelis programs☆16Updated this week
- Definition of the Viper intermediate verification language.☆87Updated this week
- Crate for reading TPTP files.☆14Updated 3 years ago
- Implementing Halide's TRS inside of EGG☆31Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Libraries useful for Dafny programs☆45Updated 2 months ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 3 weeks ago
- A Tool for Multi-Paradigm Modeling☆24Updated 10 months ago
- The Termination Problem Database☆31Updated last month
- The LTSmin model checking toolset☆60Updated 8 months ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 3 years ago