• Tendermint

  • Referenced in 1 article [sw37808]
  • Byzantine fault tolerant state machine replication in any programming language. State machine replication ... fundamental primitive in fault tolerant distributed computing, but few production tools exist to support ... they cannot tolerate malicious or adversarial (“Byzantine”) faults. We present Tendermint, a production-grade Byzantine ... system and demonstrate how to build Byzantine Fault Tolerant applications in Go and Javascript...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • literature of fault-tolerant computing in distributed systems (e.g., Byzantine agreement, token ring...
  • PoWerStore

  • Referenced in 1 article [sw19545]
  • efficient and robust storage. Existing Byzantine fault tolerant (BFT) storage solutions that achieve strong consistency ... comprises tolerating network outages, maximum number of Byzantine storage servers, any number of Byzantine readers ... protocols, including protocols that tolerate only crash faults...
  • clock synchronization

  • Referenced in 1 article [sw28680]
  • Clock Synchronization. We formalize the generalized Byzantine fault-tolerant clock synchronization protocol of Schneider. This...
  • ByMC

  • Referenced in 6 articles [sw21699]
  • Byzantine Model Checker). ByMC is a toolset for parameterized model checking of threshold-guarded fault...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • TLA

  • Referenced in 26 articles [sw04442]
  • TLA stands for the Temporal Logic of Actions...
  • LINDO

  • Referenced in 557 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming...
  • z3

  • Referenced in 606 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • VIFF

  • Referenced in 16 articles [sw05804]
  • VIFF, the Virtual Ideal Functionality Framework. Virtual Ideal...
  • JavaScript

  • Referenced in 166 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Plingeling

  • Referenced in 77 articles [sw07091]
  • Lingeling, plingeling, picosat and precosat at sat race...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...
  • CVC4

  • Referenced in 125 articles [sw09485]
  • CVC4 is an efficient open-source automatic theorem...
  • TLAPS

  • Referenced in 10 articles [sw09528]
  • The TLA+ Proof System (TLAPS) mechanically checks TLA...
  • Ivy

  • Referenced in 39 articles [sw10279]
  • Ivy: A Preprocessor and Proof Checker for First...