Vladimír Still, Petr Rockai, Jiri Barnat. Context-Switch-Directed Verification in DIVINE. In Petr Hlinený, Zdenek Dvorak, Jirí Jaros, Jan Kofron, Jan Korenek, Petr Matula, Karel Pala, editors, Mathematical and Engineering Methods in Computer Science - 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17-19, 2014, Revised Selected Papers. Volume 8934 of Lecture Notes in Computer Science, pages 135-146, Springer, 2014. [doi]
Abstract is missing.