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:
- gemoc-studio☆27Updated 3 months ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- Kodkod solver for relational logic☆74Updated last year
- Verimag Polyhedra Library☆18Updated last month
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- SMTInterpol interpolating SMT solver☆66Updated 3 weeks ago
- The Melange Language Workbench☆29Updated last year
- Unified Maude model-checking tool☆11Updated 5 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- The LTSmin model checking toolset☆60Updated 7 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆81Updated 3 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- TurnKey artifact for Z3☆38Updated this week
- ☆48Updated 10 months ago
- Scala library for parsing and printing the SMT-LIB format☆45Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- ☆55Updated last month
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 9 months ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated last week
- Benchmark problems for different models of automata, transducers, and related logics☆29Updated 8 months ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆124Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆47Updated last month
- A lazy-grounding Answer-Set Programming system☆60Updated 3 months ago
- Alloy with browser-based visualizations☆29Updated 3 years ago
- DSLs for modeling and analyzing farming systems☆11Updated 8 years ago