[2] | On a Verification Framework for Certifying Distributed Algorithms: Distributed Checking and Consistency (Kim Völlinger and Samira Akili), In Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Christel Baier, Luís Caires, eds.), Springer, volume 10854, 2018. |
[1] | Verifying a Class of Certifying Distributed Programs (Kim Völlinger and Samira Akili), In NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Clark W. Barrett, Misty Davies, Temesghen Kahsai, eds.), volume 10227, 2017. |