Alternatives and similar repositories for prism-svn

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

• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 7 months ago
• skarupke / glibc_cv_tla_plus
  Reproducing a bug in the Glibc condition variables using TLA+
  ☆11Updated 2 years ago
• hwayne / tla-snippets
  A collection of useful TLA+ operators
  ☆20Updated 7 years ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 8 months ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆172Updated 3 weeks ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆95Updated 7 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 11 months ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 5 years ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆32Updated last year
• plasma-umass / Rehearsal
  Rehearsal: A Configuration Verification Tool for Puppet
  ☆11Updated 5 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 10 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 7 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 4 months ago
• ptal / bonsai
  Programming language based on the synchronous and constraint paradigms
  ☆15Updated 4 years ago
• mit-pdos / 6.826-2017-labs
  ☆14Updated 7 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 7 months ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆1Updated 5 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆20Updated 9 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• DistributedComponents / verdi-lockserv
  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
  ☆14Updated 7 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated 2 years ago