Local Reasoning for Parameterized First Order Protocols

Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler. Local Reasoning for Parameterized First Order Protocols. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Volume 11460 of Lecture Notes in Computer Science, pages 36-53, Springer, 2019. [doi]

Abstract

Abstract is missing.