Temporal logic
Statement
Linear temporal logic; program verification. Proved in ZFC.
Source
ACM Turing Award 1996. Linear temporal logic; program verification. Proved in ZFC.
Domains
computer-science
Linear temporal logic; program verification. Proved in ZFC.
ACM Turing Award 1996. Linear temporal logic; program verification. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/pnueli-turing-1996/