ISSE

Search

Do You Trust Your Model Checker?

W. Reif, J. Ruf, G. Schellhorn, T. Vollmer

Do You Trust Your Model Checker?

published 2000 Warren A. Hunt, Jr. and Steven D. Johnson, editor, FMCAD 2000: Formal methods in Comuter Aided Design

Publisher: Springer LNCS 1954


Downloads: