Effective Robustness Analysis Using Bounded Model Checking Techniques

Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler. Effective Robustness Analysis Using Bounded Model Checking Techniques. IEEE Trans. on CAD of Integrated Circuits and Systems, 30(8):1239-1252, 2011. [doi]

Abstract

Abstract is missing.