On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. Conchon, S., Delzanno, G., & Sangnier, A. In Monica, D. D., Pozzato, G. L., & Scala, E., editors, Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021, volume 2987, of CEUR Workshop Proceedings, pages 61–66, 2021. CEUR-WS.org.
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols [pdf]Paper  bibtex   

Downloads: 0