5 Ebooks by Orna Grumberg
Orna Grumberg & Helmut Veith: 25 Years of Model Checking
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap …
PDF
English
DRM
€38.31
Orna Grumberg & Michael Huth: Tools and Algorithms for the Construction and Analysis of Systems
…
PDF
English
DRM
€114.90
Orna Grumberg & Edmund M. Clarke Jr.: Model Checking
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches …
PDF
English
DRM
€191.57
