Survey on Directed Model Checking

Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar. Survey on Directed Model Checking. In Doron Peled, Michael Wooldridge, editors, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Volume 5348 of Lecture Notes in Computer Science, pages 65-89, Springer, 2008. [doi]


Abstract is missing.