Alternatives and similar repositories for prism-svn

Users that are interested in prism-svn are comparing it to the libraries listed below

• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• skarupke / glibc_cv_tla_plus
  Reproducing a bug in the Glibc condition variables using TLA+
  ☆11Updated 2 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• muratdem / HLC
  ☆15Updated 7 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆147Updated this week
• tnelson / FlowLog
  ☆17Updated 10 years ago
• informalsystems / tla-apalache-workshop
  Material for a workshop on Apalache and TLA+. To be populated with more examples.
  ☆22Updated 2 years ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆46Updated 5 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆75Updated last year
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• hwayne / tla-snippets
  A collection of useful TLA+ operators
  ☆21Updated 7 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 3 months ago
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• niklasso / minisatp
  The Pseudo-Boolean Solver MiniSat+
  ☆27Updated 12 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 8 months ago
• kframework / java-semantics
  The semantics of Java in K
  ☆18Updated 3 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• GaloisInc / what4
  Symbolic formula representation and solver interaction library
  ☆161Updated 2 months ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• tfaoliveira / libjc
  ☆19Updated 2 years ago
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆79Updated last month
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated this week