Author:
Dragoi Cezara,Nagendra Srinidhi,Srivas Mandayam
Publisher
Springer Nature Switzerland
Reference27 articles.
1. Jepsen (2020). https://jepsen.io
2. Viewstamped Replication made famous (2020). https://github.com/coilhq/viewstamped-replication-made-famous
3. . Rust Shuttle Model checker (2021). https://github.com/awslabs/shuttle
4. Kotlin Lincheck (2023). https://github.com/Kotlin/kotlinx-lincheck
5. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: Jagannathan, S., Sewell, P. (eds.) The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL ’14, San Diego, CA, USA, 20–21 January 2014, pp. 373–384. ACM (2014). https://doi.org/10.1145/2535838.2535845