Model Checking Software at Compile Time

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

29 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model Checking Software at Compile Time'. Together they form a unique fingerprint.

Engineering & Materials Science