ahartmanns / jani-modelsLinks
A library of formal models in the jani-model format.
☆14Updated 3 years ago
Alternatives and similar repositories for jani-models
Users that are interested in jani-models are comparing it to the libraries listed below
Sorting:
- SMTInterpol interpolating SMT solver☆68Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 3 weeks ago
- A Modern Probabilistic Model Checker☆152Updated last week
- The Termination Problem Database☆29Updated 2 months ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- A program for making zooming slides in figma.☆39Updated 4 months ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 4 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- The DRAT-trim proof checker☆65Updated 11 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆37Updated last week
- A fast and simple automata library☆26Updated last week
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated last month
- ☆154Updated 2 weeks ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- The main development version of the PRISM model checker.☆178Updated 3 weeks ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆53Updated 5 years ago
- TriCera: a model checker for C programs☆25Updated this week
- The LTSmin model checking toolset☆59Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 4 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆108Updated this week
- SAT Solver SATCH☆119Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated last month
- ☆30Updated 2 months ago
- StarExec is a cross community logic solving service☆20Updated 5 months ago
- Jupyter kernel for Coq☆95Updated last year
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Updated last year
- EPMC: An Extendible Probabilistic Model Checker☆19Updated 9 months ago