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
Orna Grumberg
Videos
Orna Grumberg is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion.
Grumberg (2006)
Grumberg (2006)
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
Orna Grumberg
…1952, in Hadera near Haifa) is an Israeli computer scientist and academic, the Leumi Chair of Science at the Technion. Grumberg is noted for developing model checking, a method for formally verifying hardware and software designs. With Edmund M. Clarke and Doron A. Peled, she is the author of the book Model Checking…
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".