Modularization and Abstraction: The Keys to Practical Formal Verification.

Yonit Kesten, Amir Pnueli

Browse the full MFCS paper archive.