Alternatives and similar repositories for jspin:

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

• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆139Updated this week
• lip6 / ITSTools
  A multi-formalism, multi-solution model-checker centered on the language GAL
  ☆23Updated 6 months ago
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆63Updated this week
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆46Updated last month
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆52Updated 2 months ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆78Updated last week
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆91Updated this week
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last week
• mangpo / greenthumb
  ☆86Updated 2 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆88Updated this week
• loonwerks / formal-methods-workbench
  ☆20Updated last year
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆119Updated 3 weeks ago
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆42Updated 8 months ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆65Updated this week
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆129Updated 4 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆65Updated last year
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆70Updated 7 months ago
• ths-rwth / smtrat
  ☆52Updated last month
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆103Updated 3 years ago
• boogie-org / corral
  solver for the reachability modulo theories problem
  ☆59Updated last year
• martinjonas / Q3B
  ☆27Updated 7 months ago
• utwente-fmt / sylvan
  Multi-core Decision Diagram (BDD/LDD) implementation
  ☆41Updated last year
• klipto / Uncertainty
  Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…
  ☆33Updated 8 years ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆17Updated 4 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆34Updated 11 months ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆56Updated 9 years ago
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆39Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆80Updated this week