Alternatives and similar repositories for sibilla

Users that are interested in sibilla are comparing it to the libraries listed below

• adl / hoaf
  Hanoi Omega-Automata Format
  ☆15Updated 2 years ago
• owl-toolkit / owl
  ☆18Updated 2 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 4 months ago
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 2 weeks ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated 3 weeks ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 5 months ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated 2 weeks ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆67Updated 3 weeks ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆54Updated 3 weeks ago
• meelgroup / ganak
  High-performance probabilistic exact counter
  ☆42Updated last week
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆47Updated 3 weeks ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 9 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆171Updated 3 weeks ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆44Updated last year
• agurfinkel / spacer-on-jupyter
  ☆17Updated 2 years ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆99Updated last week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆146Updated 8 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆30Updated last month
• prismmodelchecker / prism-benchmarks
  The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…
  ☆11Updated 4 months ago
• gintool / gin
  GI in No Time - a Simple Microframework for Genetic Improvement
  ☆45Updated 7 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 3 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆19Updated 2 weeks ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• ssoelvsten / adiar
  An I/O-efficient implementation of (Binary) Decision Diagrams
  ☆29Updated last week
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Updated 6 months ago