Search Results - Grumberg, Orna

Model checking

by Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

Table of Contents

Model checking

by Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

Table of Contents

A direct soundness proof of the recursion rule

by Francez, Nissim, Grumberg, Orna

Model checking and modular verification

by Grumberg, Orna, Long, David E.

Model checking

by Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

Table of Contents

GORMEL, grammar oriented model checker

by Marelly, Rami, Grumberg, Orna

Model checking and abstraction

by Clarke, Edmund M. 1945-2020, Grumberg, Orna, Long, David E.

Model checking

by Clarke, Edmund M. 1945-2020, Grumberg, Orna, Peled, Doron 1962-

Order via interlibrary loan

Abstract interpretation reactive systems: preservation of CTL

by Dams, Dennis, Grumberg, Orna, Gerth, Rob T.

Order via interlibrary loan

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

Other Authors: “…Grumberg, Orna…”
Table of Contents

Software systems safety

Other Authors: “…Grumberg, Orna…”
Order via interlibrary loan

Dependable software systems engineering

Other Authors: “…Grumberg, Orna…”
Order via interlibrary loan

Software systems safety

Other Authors: “…Grumberg, Orna…”