Automated specification analysis using an interactive theorem prover.

Harsh Raju Chamarthi, Panagiotis Manolios

Browse the full FMCAD paper archive.