Symbolic model checking: 1020 States and beyond

Jerry R. Burch(Carnegie Mellon University), E. M. Clarke(Carnegie Mellon University), Kenneth L. McMillan(Carnegie Mellon University), David L. Dill(Stanford University), L.J. Hwang(Stanford University)
Information and Computation
June 1, 1992
10.1016/0890-5401(92)90017-a
Cited by 2,695

Abstract

Related Papers

No related papers found

Powered by citation graph analysis