Orna Grumberg

No bio available. Add one in Open Library.

Books by Orna Grumberg (50 max)

+ shelf+ list

Model Checking

1999

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

+ shelf+ list

Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings (Lecture Notes in Computer Science)

1997

Orna Grumberg

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

2007

Orna Grumberg, Michael Huth

+ shelf+ list

25 Years Of Model Checking History Achievements Perspectives

2008

Orna Grumberg

+ shelf+ list

25 Years of Model Checking History, Achievements, Perspectives

2008

Orna Grumberg, Helmut Veith

+ shelf+ list

Languages : from Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

2009

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner

+ shelf+ list

Languages From Formal to Natural Lecture Notes in Computer Science

2009

Orna Grumberg

+ shelf+ list

Model Checking, Second Edition

2018

Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke