Sliding between model checking and runtime verification

Martin Leucker

Fingerprint

Dive into the research topics of 'Sliding between model checking and runtime verification'. Together they form a unique fingerprint.

Engineering & Materials Science