quasylab / sibillaLinks
A tool for forecasting behaviour of Collective Adaptive Systems.
☆8Updated 3 months ago
Alternatives and similar repositories for sibilla
Users that are interested in sibilla are comparing it to the libraries listed below
Sorting:
- The Sirio library for the analysis of stochastic time Petri nets☆14Updated 4 months ago
- ☆18Updated 2 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- ☆17Updated 2 years ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Updated 3 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆54Updated this week
- Verimag Polyhedra Library☆18Updated 2 months ago
- SMTInterpol interpolating SMT solver☆66Updated this week
- The Termination Problem Database☆30Updated 3 weeks ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated 2 weeks ago
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- RV-Monitor core system code☆16Updated 4 years ago
- ☆9Updated last year
- AE-solver and Skolemizer☆17Updated 6 months ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Language bindings for Maude☆23Updated 5 months ago
- PC-miner tool for program chairs☆27Updated 3 months ago
- Repository of benchmarks for SYNTCOMP☆11Updated last month
- TriCera: a model checker for C programs☆25Updated last week
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- TChecker is an open-source verification tool for timed automata☆22Updated last month
- ☆17Updated 2 months ago
- PPLite: convex polyhedra library for Abstract Interpretation☆26Updated 3 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- High-performance probabilistic exact counter☆41Updated this week
- ☆15Updated 4 years ago
- Benchmarking Suite for BDD packages☆17Updated last month
- Solver for Constrained Horn Clauses☆39Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week