Integration of a Software Model Checker into Isabelle.

Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir

Browse the full LPAR paper archive.