Model checking and temporal logic

Statement

LTL; Büchi automata; program verification. Proved in ZFC.

Source

Donald E. Knuth Prize 2021. LTL; Büchi automata; program verification. Proved in ZFC.

Domains

computer-science

People

• Moshe Vardi

Related

• Theorem: Model checking and temporal logic
• Proof: Model checking and temporal logic

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People