Alternatives and similar repositories for jspin

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

• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆102Updated last week
• 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…
  ☆72Updated 4 years ago
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆84Updated last week
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆151Updated 4 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• runtimeverification / rv-monitor
  RV-Monitor core system code
  ☆16Updated 4 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆104Updated this week
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆55Updated last week
• nimble-code / Spin
  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
  ☆444Updated 2 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆90Updated this week
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆91Updated last week
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆36Updated last year
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆27Updated 2 weeks ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆70Updated 4 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆82Updated this week
• rems-project / cerberus
  Cerberus C semantics
  ☆75Updated 2 weeks ago
• ths-rwth / smtrat
  ☆58Updated last week
• acsl-language / acsl
  Sources for the ANSI/ISO C Specification Language manual
  ☆63Updated last month
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆119Updated 6 months ago
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆45Updated 3 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆160Updated last week
• kind2-mc / kind2
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
  ☆110Updated last week
• mangpo / greenthumb
  ☆90Updated 3 years ago
• soarlab / FPTaylor
  Tool for Rigorous Estimation of Round-Off Floating-Point Errors
  ☆31Updated last year
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆85Updated last week
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 7 months ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆105Updated last year
• rems-project / cn
  CN separation logic refinement type system for C
  ☆41Updated this week
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• trolando / sylvan
  Implementation of multi-core (binary) decision diagrams
  ☆80Updated 3 months ago