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

Bounded Model Checking

2003948 citationsBook Chapter

Authors

Armin Biere · ETH Zurich

Alessandro Cimatti · ETH Zurich

Edmund M. Clarke · Carnegie Mellon University

Ofer Strichman · Carnegie Mellon University

Yunshan Zhu · Synopsys (United States)

Topics & Keywords

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

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Advances in computers

DOI: 10.1016/s0065-2458(03)58003-2

Field-Weighted Citation Impact: 22.77

Bounded Model Checking | Researchclopedia