Moshe Vardi

Profile

Moshe Vardi (משה ורדי): born 1954; Israel / USA.

Related theorems

• Model checking and temporal logic

Pages

• Person: Moshe Vardi
• Journey: Moshe Vardi
• Transcripts: Moshe Vardi

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People