Model Checking, Second EditionOrna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · First published 2018Open the Tome
Languages : from Formal to NaturalOrna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner · First published 2009Open the Tome
Languages From Formal to Natural Lecture Notes in Computer ScienceOrna Grumberg · First published 2009Open the Tome
25 Years Of Model Checking History Achievements PerspectivesOrna Grumberg · First published 2008Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsOrna Grumberg, Michael Huth · First published 2007Open the Tome
Model checkingEdmund M. Clarke Jr., Orna Grumberg, Doron A. Peled · First published 1999Open the Tome
