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

Cite this paper

@inproceedings{Kesten1999APV, title={A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software}, author={Yonit Kesten and Amit Klein and Amir Pnueli and Gil Raanan}, booktitle={World Congress on Formal Methods}, year={1999} }