A Pyramid Of (Formal) Software Verification

Martin Brain, Elizabeth Polgreen. A Pyramid Of (Formal) Software Verification. In Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Volume 14934 of Lecture Notes in Computer Science, pages 393-419, Springer, 2024. [doi]

Abstract

Abstract is missing.