Alternatives and similar repositories for specifications

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

• SRI-CSL / PVS
  The People's Verification System
  ☆162Updated this week
• golems / motion-grammar-kit
  Formal Language Tools for Robots
  ☆14Updated 9 years ago
• albertocasagrande / pyModelChecking
  A Python model checking package
  ☆65Updated last year
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆53Updated 5 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 4 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆38Updated 2 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆62Updated 2 years ago
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆25Updated last month
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 3 weeks ago
• tulip-control / omega
  Specify and synthesize systems using symbolic algorithms
  ☆51Updated last year
• smaccm / smaccm
  ☆34Updated 6 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆50Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated last month
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆53Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆12Updated 3 weeks ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆43Updated last year
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆33Updated 3 weeks ago
• ftsrg / theta
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆56Updated this week
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated last month
• moves-rwth / stormpy
  Python Bindings for the Probabilistic Model Checker Storm
  ☆37Updated last week
• iscas-tis / ePMC
  EPMC: An Extendible Probabilistic Model Checker
  ☆19Updated 9 months ago
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆44Updated last year
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆84Updated 2 years ago
• fadoss / maude-bindings
  Language bindings for Maude
  ☆23Updated 10 months ago
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 2 months ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆51Updated 4 months ago
• black-sat / black
  BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
  ☆19Updated last month