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

19962,846 citationsBook Chapter

Authors

Emma L. Clarke · Carnegie Mellon University

K. McMillan · Cadence Design Systems (United States)

Sérgio Campos · Carnegie Mellon University

V. Hartonas-Garmhausen · Carnegie Mellon University

Topics & Keywords

Formal Methods in Verification Radiation Effects in Electronics Software Reliability and Analysis Research

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/3-540-61474-5_93

Field-Weighted Citation Impact: 165.44

Symbolic model checking | Researchclopedia