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

Handbook of Model Checking

2018684 citationsBook

Authors

Edmund M. Clarke · Carnegie Mellon University

Thomas A. Henzinger · Institute of Science and Technology Austria

Helmut Veith · TU Wien

Roderick Bloem · Graz University of Technology

Topics & Keywords

Formal Methods in Verification Logic, Reasoning, and Knowledge

Publication Details

DOI: 10.1007/978-3-319-10575-8

Field-Weighted Citation Impact: 28.24

Handbook of Model Checking | Researchclopedia