Proof — Model checking
Statement
Temporal logic model checking; verification. Proved in ZFC.
Source
ACM Turing Award 2007. Temporal logic model checking; verification. Proved in ZFC.
Domains
computer-science
Temporal logic model checking; verification. Proved in ZFC.
ACM Turing Award 2007. Temporal logic model checking; verification. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/clarke-turing-2007/