A Comparison of Error Detection between Simulation-based Validation and Model Checking

Patricia Lee,  Shireesh Verma and Ian G. Harris, “A Comparison of Error Detection Between Simulation-based Validation and Model Checking,” TR 13-12.  Posted October 9, 2013.  download pdf