Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software.

John Nagle, Scott Johnson

Browse the full POPL paper archive.