Integration of a Software Model Checker into Isabelle

Matthias Daum‚ Stefan Maus‚ Norbert Schirmer and M. Nassim Seghir