X-by-Construction Meets Runtime Verification.

Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer

Browse the full ISoLA paper archive.