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
Cited by 2,695

Abstract


Related Papers

No related papers found

Powered by citation graph analysis