Alternatives and similar repositories for sibilla:

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

• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆13Updated 3 years ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last week
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 2 years ago
• layeredqueuing / V5
  Layered Queueing Network Solver
  ☆10Updated 3 weeks ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆28Updated last week
• decyphir / breach
  ☆54Updated 7 months ago
• randriu / synthesis
  ☆22Updated this week
• jahierwan / lustre-examples
  Some Lustre program examples
  ☆21Updated 5 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated this week
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆27Updated last week
• marcthurley / sharpSAT
  The #SAT solver sharpSAT
  ☆56Updated 2 years ago
• reactive-systems / bosy
  BoSy is a reactive synthesis tool based on constraint-solving
  ☆19Updated last year
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• meyerphi / strix
  Strix is a tool for reactive synthesis of controllers from LTL specifications.
  ☆22Updated 2 years ago
• satviz / satviz
  ☆11Updated 2 years ago
• reactive-systems / MCHyper
  A hardware model checker for hyperproperties
  ☆18Updated 7 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 8 months ago
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆32Updated this week
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 3 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆22Updated this week
• probing-lab / polar
  ☆16Updated 6 months ago
• xcsp3team / XCSP3-Java-Tools
  XCSP3 Tools in Java
  ☆22Updated this week
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆51Updated last month
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated last month
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 3 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 3 years ago