Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?

Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas

Browse the full ISoLA paper archive.