A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.

Yonit Kesten, Amit Klein, Amir Pnueli, Gil Raanan

Browse the full FM paper archive.