Alternatives and similar repositories for Armada:

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

• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆72Updated this week
• ZingModelChecker / Zing
  Zing : An explicit state model checker for concurrent and message passing programs.
  ☆16Updated 8 years ago
• kenmcmil / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆88Updated 2 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆261Updated this week
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆79Updated 4 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆77Updated 3 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆187Updated last year
• microsoft / DecisionDiagrams
  A performant and ergonomic implementation of binary decision diagrams for .NET
  ☆54Updated last year
• LeeSanderson / Chess
  A concurency testing tool
  ☆56Updated 5 years ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆80Updated 2 weeks ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆49Updated 2 years ago
• mit-pdos / cspec
  Verifying concurrent code with layers and movers
  ☆12Updated 4 years ago
• YaccConstructor / YaccConstructor
  Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …
  ☆40Updated 5 years ago
• Azure / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆275Updated last year
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆416Updated 2 weeks 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…
  ☆227Updated 4 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆91Updated last week
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆131Updated 4 years ago
• GaloisInc / daedalus
  The Daedalus data description language
  ☆67Updated 5 months ago
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆93Updated this week
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆206Updated 2 months ago
• microsoft / Zen
  Zen is a constraint solving library for .NET
  ☆98Updated last year
• utwente-fmt / vercors
  The VerCors verification toolset for verifying parallel and concurrent software
  ☆67Updated this week
• microsoft / verona-rt
  The runtime for the Verona project
  ☆30Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆138Updated 4 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• VSharp-team / VSharp
  Symbolic execution engine for .NET Core
  ☆49Updated 3 weeks ago
• tlaplus / foundation
  TLA+ Foundation
  ☆26Updated 2 weeks ago
• rems-project / lem
  Lem semantic definition language
  ☆134Updated last month
• p-org / peasy-ide-vscode
  Peasy: An Intuitive Development Environment for P
  ☆13Updated last week