Scaling Up Automated Verification: A Case Study and Formal-IDE for the Construction of High Integrity Software.

Daniel Welch

Browse the full SIGCSE paper archive.