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. In Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, pages 230-244, Springer, 2004. [doi]

Authors

Mohammad Awedh

This author has not been identified. Look up 'Mohammad Awedh' in Google

Fabio Somenzi

This author has not been identified. Look up 'Fabio Somenzi' in Google