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]

Bibliographies