Software Architecture of Modern Model Checkers

Fabrice Kordon, Michael Leuschel, Jaco van de Pol, Yann Thierry-Mieg. Software Architecture of Modern Model Checkers. In VIDEO: Lecture Notes in Computer Science Celebrates 10,000th Manuscript!. Volume 10000 of Lecture Notes in Computer Science, pages 393-419, Springer, 2019. [doi]

Abstract

Abstract is missing.