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