Tendermint Blockchain Synchronization: Formal Specification and Model Checking
暂无分享,去创建一个
Igor Konnov | Josef Widder | Sean Braithwaite | Ethan Buchman | Zarko Milosevic | Ilina Stoilkovska | Anca Zamfir | I. Konnov | Ethan Buchman | Zarko Milosevic | Josef Widder | Ilina Stoilkovska | Sean Braithwaite | A. Zamfir
[1] Leslie Lamport,et al. The TLA+ Toolbox , 2019, F-IDE@FM.
[2] Kenneth L. McMillan,et al. Ivy: A Multi-modal Verification Tool for Distributed Algorithms , 2020, CAV.
[3] Ethan Buchman,et al. Tendermint: Byzantine Fault Tolerance in the Age of Blockchains , 2016 .
[4] George S. Avrunin,et al. Property specification patterns for finite-state verification , 1998, FMSP '98.
[5] Mehrdad Sabetzadeh,et al. Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study , 2013, 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement.
[6] Nancy A. Lynch,et al. Consensus in the presence of partial synchrony , 1988, JACM.
[7] Igor Konnov,et al. TLA+ model checking made symbolic , 2019, Proc. ACM Program. Lang..
[8] Cristina Cerschi Seceleanu,et al. Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners , 2019, ENASE.
[9] Leslie Lamport,et al. Real-Time Model Checking Is Really Simple , 2005, CHARME.
[10] Ittai Abraham,et al. HotStuff: BFT Consensus with Linearity and Responsiveness , 2019, PODC.
[11] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[12] Tao Chen,et al. Millions of Tiny Databases , 2020, NSDI.
[13] Leslie Lamport,et al. Byzantizing Paxos by Refinement , 2011, DISC.