Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Symbolic model checking: 1020 States and beyond

19922,676 citationsJournal Article

Authors

Jerry R. Burch · Carnegie Mellon University

E. M. Clarke · Carnegie Mellon University

Kenneth L. McMillan · Carnegie Mellon University

Topics & Keywords

Formal Methods in Verification Software Testing and Debugging Techniques Software Reliability and Analysis Research

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Information and Computation

Volume 98, Issue 2, pp. 142-170

DOI: 10.1016/0890-5401(92)90017-a

Field-Weighted Citation Impact: 101.21

Symbolic model checking: 1020 States and beyond | Researchclopedia