Alternatives and similar repositories for prism-svn

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

• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• tnelson / FlowLog
  ☆17Updated 10 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• pron / amazon-snapshot-spec
  TLA+ and Alloy specs of database isolation
  ☆21Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆59Updated last year
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated last year
• hwayne / tla-snippets
  A collection of useful TLA+ operators
  ☆21Updated 7 years ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆178Updated 3 weeks ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆58Updated 7 years ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 4 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 5 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated last year
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆71Updated 6 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 10 years ago
• apl-cornell / fabric
  Distributed persistent programming language with secure information flow types
  ☆29Updated 8 months ago
• quux00 / PlusCal-Examples
  Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+
  ☆61Updated 10 years ago
• mit-frap / spring17
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20Updated 8 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆12Updated 10 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆100Updated last year
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆177Updated 8 months ago
• tfaoliveira / libjc
  ☆21Updated 2 years ago
• project-everest / everest
  ☆202Updated 3 weeks ago
• jameshfisher / tlaplus
  ☆33Updated 10 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆111Updated 10 years ago