Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.

John M. Rushby Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. 1-11 1999 conf/spin/1999 SPIN http://link.springer.de/link/service/series/0558/bibs/1680/16800001.htm db/conf/spin/spin1999.html#Rushby99