Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States.

Mohammad Awedh Fabio Somenzi Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. 230-244 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3312&spage=230 2004 conf/fmcad/2004 FMCAD db/conf/fmcad/fmcad2004.html#AwedhS04