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 Using Satisfiability Solving

2001670 citationsJournal Article

Authors

Edmund M. Clarke · Carnegie Mellon University

Armin Biere · ETH Zurich

Richard Raimi · Trout Green Technologies (United States)

Yunshan Zhu · Synopsys (Switzerland)

Topics & Keywords

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

UN Sustainable Development Goals

Industry, innovation and infrastructure

Publication Details

Published in: Formal Methods in System Design

Volume 19, Issue 1, pp. 7-34

DOI: 10.1023/a:1011276507260

Field-Weighted Citation Impact: 15.79

Bounded Model Checking Using Satisfiability Solving | Researchclopedia