Model Checking Software at Compile Time.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Browse the full TASE paper archive.