ahartmanns / jani-models
A library of formal models in the jani-model format.
☆10Updated 2 years ago
Alternatives and similar repositories for jani-models:
Users that are interested in jani-models are comparing it to the libraries listed below
- Python Bindings for the Probabilistic Model Checker Storm☆32Updated this week
- SMTInterpol interpolating SMT solver☆61Updated 6 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated 6 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- Some Lustre program examples☆21Updated 5 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- Online BDD Simulation Tool☆18Updated 2 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆27Updated last week
- A Python script to create cactus and scatter plots based on matplotlib☆23Updated 3 years ago
- A fast and simple automata library☆24Updated last month
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- The Termination Problem Database☆28Updated this week
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 3 months ago
- 🕸️ A visualizer for graphs defined as logic programs☆29Updated 3 months ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- EPMC: An Extendible Probabilistic Model Checker☆14Updated this week
- Intrepyd Model Checker☆18Updated 3 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆52Updated 8 months ago
- TriCera: a model checker for C programs☆22Updated this week
- A Modern Probabilistic Model Checker☆142Updated this week
- Pedagogical first-order prover in Python☆73Updated 2 months ago
- Qute: a dependency learning QBF solver.☆12Updated last month
- ☆30Updated 5 months ago
- Hanoi Omega-Automata Format☆14Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last week
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 11 months ago
- ☆52Updated last month