gemoc / gemoc-studio-oldLinks
☆12Updated 7 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:
- Language bindings for Maude☆23Updated 2 weeks ago
- Repository of benchmarks for SYNTCOMP☆14Updated 2 months ago
- Verimag Polyhedra Library☆18Updated 7 months ago
- SMTInterpol interpolating SMT solver☆68Updated last week
- Unified Maude model-checking tool☆12Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆84Updated this week
- 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
- Crate for reading TPTP files.☆15Updated 3 years ago
- AE-solver and Skolemizer☆17Updated 11 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 4 months ago
- VATA Tree Automata Library☆33Updated last year
- Kodkod solver for relational logic☆80Updated 2 years ago
- Fuzz testing for Dafny☆13Updated 3 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- ☆56Updated 6 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆49Updated 3 weeks ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆33Updated this week
- 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…☆27Updated last week
- TurnKey artifact for Z3☆42Updated 3 weeks ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆84Updated 4 months ago
- Implementing Halide's TRS inside of EGG☆33Updated 2 years ago
- PC-miner tool for program chairs☆29Updated 2 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆50Updated 2 years ago
- JaTyC: a typestate checker for Java☆17Updated 2 months ago
- Java-hosted execution of Protelis programs☆18Updated this week