Bounded Model Checking Using Satisfiability Solving

Top Cited Papers

Publisher Website

1 January 2001

journal article
Published by Springer Science and Business Media LLC in Formal Methods in System Design

Vol. 19 (1), 7-34
https://doi.org/10.1023/a:1011276507260

Abstract

No abstract available

Keywords

Cited by 417 articles