A platform combining deductive with algorithmic verification (1996)

by A Pnueli, E Shahar
Venue:Proceedings of the Eighth International Conference on Computer Aided Verification CAV