Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Maurice H. ter Beek, Reiner Hhnle, Ina Schaefer

Browse the full ISoLA paper archive.