quasylab / sibilla
A tool for forecasting behaviour of Collective Adaptive Systems.
☆7Updated last week
Related projects: ⓘ
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- The Sirio library for the analysis of stochastic time Petri nets☆12Updated 2 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- The Melange Language Workbench☆28Updated last year
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆19Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated last month
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated last month
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpa…☆32Updated 2 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated last year
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆20Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆55Updated last week
- ☆12Updated 5 years ago
- Intrepyd Model Checker☆17Updated 2 years ago
- Main repository of the GreatSPN framework☆42Updated 4 months ago
- The LTSmin model checking toolset☆52Updated 6 months ago
- ☆21Updated this week
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- The main development version of the PRISM model checker.☆154Updated this week
- The Termination Problem Database☆27Updated 3 months ago
- JaTyC: a typestate checker for Java☆15Updated 2 months ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- gemoc-studio☆24Updated last week
- A hardware model checker for hyperproperties☆18Updated 3 months ago
- KeY Theorem Prover for Deductive Java Verification☆42Updated this week
- TChecker is an open-source verification tool for timed automata☆21Updated 3 months ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago