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

Mohammad Awedh, Fabio Somenzi

Browse the full FMCAD paper archive.