Author:
Braithwaite Sean,Buchman Ethan,Konnov Igor,Milosevic Zarko,Stoilkovska Ilina,Widder Josef,Zamfir Anca
Publisher
Springer International Publishing
Reference26 articles.
1. ADR 043: Blockhchain reactor riri-org (2020).
https://github.com/tendermint/tendermint/blob/master/docs/architecture/adr-043-blockchain-riri-org.md
2. APALACHE: a symbolic model checker for $$\text{TLA}^{+}$$ (2020).
https://github.com/informalsystems/apalache/
. Accessed 10 Aug 2020
3. Arora, C., Sabetzadeh, M., Briand, L.C., Zimmer, F., Gnaga, R.: Automatic checking of conformance to requirement boilerplates via text chunking: an industrial case study. In: ESEM (2013)
4. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP, pp. 7–15 (1998)
5. Brooker, M., Chen, T., Ping, F.: Millions of tiny databases. In: USENIX, pp. 463–478 (2020)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. R-SWAP: Relay Based Atomic Cross-Chain Swap Protocol;Algorithmic Aspects of Cloud Computing;2021
2. Verification and Validation of Concurrent and Distributed Systems (Track Summary);Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020