Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. Conchon, S., Delzanno, G., & Sangnier, A. In Monica, S. & Bergenti, F., editors, Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021, volume 3002, of CEUR Workshop Proceedings, pages 77–91, 2021. CEUR-WS.org.
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction [pdf]Paper  bibtex   

Downloads: 0