Model Checking

Model Checking is a formal verification technique that systematically explores a system's state space to determine whether a given mathematical model satisfies a specified temporal logic property.

9.2K

Publications

448.8K

Citations

12.2K

Authors

2.3K

Institutions

Publications per year

2017–2026

1.2K

Variants

Property Checking

Parents

Formal Methods

Children

Abstraction RefinementBounded Model CheckingBranching-time LogicCompositional Model CheckingComputation Tree LogicCounterexample GenerationCounterexample-guided Abstraction RefinementDistributed Systems VerificationExplicit-state Model CheckingFairness Conditions

Publications

9.2K

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

1–5 of 9.2K

Authors

12.2K

TA
Thomas A. Henzinger
University of California, Berkeley, United States
61 publications · 13.5K citations
36
h-index
MK
Marta Kwiatkowska
University of Oxford, United Kingdom
53 publications · 4.2K citations
34
h-index
KG
Kim G. Larsen
Aalborg University, Denmark
71 publications · 4.2K citations
33
h-index
RA
Rajeev Alur
University of Pennsylvania, United States
42 publications · 16.1K citations
32
h-index
MY
Moshe Y. Vardi
Rice University, United States
58 publications · 6.8K citations
32
h-index

1–5 of 12.2K

Institutions

2.3K

1–8 of 2.3K

Venues

IEEE Transactions on Software Engineering
TSE · 124 publications · 15.6K citations
54
h-index
Theoretical Computer Science
207 publications · 19.3K citations
52
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 339 publications · 11K citations
51
h-index
International Journal on Software Tools for Technology Transfer
161 publications · 12K citations
48
h-index
Formal Methods in System Design
118 publications · 8.1K citations
48
h-index

1–5