Proof — Model checking

Statement

Temporal logic; verification. Proved in ZFC.

Source

ACM Turing Award 2007. Temporal logic; verification. Proved in ZFC.

Domains

computer-science

People

• Joseph Sifakis

Related

• Theorem: Model checking
• Proof: Model checking

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People