Publikation

Model reduction techniques for the formal verification of hardware dependent software

Publikation

Outline

W. Ecker, V. Esen, R. Findenig, T. Steininger, M. Velten - Model reduction techniques for the formal verification of hardware dependent software - High Level Design Validation and Test Workshop (HLDVT) 2010, Anaheim, Vereinigte Staaten von Amerika, 2010, pp. 148-153