WikiVisually
The entire wiki reimagined as a visual magazine with video discovery · Watch your interests come alive
WikiVisually
The entire wiki reimagined as a visual magazine with video discovery · Watch your interests come alive
Nature The World Movies USA Top Art Fine & Rare History Ivy & Inquiry
Joseph Sifakis
Videos
Joseph Sifakis is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
Joseph Sifakis 2018
Joseph Sifakis 2018
Model checking
Videos
In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. This is typically associated with hardware or so
Joseph Sifakis
…December 1946) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Joseph Sifakis was born in Heraklion, Crete in 1946 and lives in France. He studied Electrical Engineering at the National Technical University of…
Elevator control software can be model-checked to verify both safety properties, like "The cabin never moves with its door open", and liveness propert
Elevator control software can be model-checked to verify both safety properties, like "The cabin never moves with its door open", and liveness properties, like "Whenever the nth floor's call button is pressed, the cabin will eventually stop at the nth floor and open the door".