Author:
Guo Hua,Ji Yunhong,Zhou Xuan
Publisher
Springer Nature Singapore
Reference18 articles.
1. The Coq Proof Assistant. https://coq.inria.fr//
2. Dorminey, S.: Kayfabe: model-based program testing with TLA+/TLC. In: TLA+ Conference 2020 (2020)
3. Etcd: etcd-raft. https://github.com/etcd-io/raft.git/
4. Hawblitzel, C., et al.: IronFleet: proving practical distributed systems correct. In: Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, 4–7 October 2015, pp. 1–17. ACM (2015)
5. Hoare, C.A.R.: Quicksort. Comput. J. 5(1), 10–15 (1962)