PVS: Combining Specification, Proof Checking, and Model Checking.

Natarajan Shankar

Browse the full FMCAD paper archive.