Proof — Timed automata

Statement

Formal verification; hybrid systems; model checking. Proved in ZFC.

Source

Donald E. Knuth Prize 2024. Formal verification; hybrid systems; model checking. Proved in ZFC.

Domains

computer-science

People

• Rajeev Alur

Related

• Theorem: Timed automata
• Proof: Timed automata

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People