GrumbergOrna

发表

Model checking and abstraction

M ClarkeEdmund, GrumbergOrna, E LongDavid, 1994 .

Abstract interpretation of reactive systems

GrumbergOrna, DamsDennis, GerthRob, 1997 .

Model checking and modular verification

GrumbergOrna, E LongDavid, 1994 .

Another Look at LTL Model Checking

M ClarkeEdmund, GrumbergOrna, HamaguchiKiyoharu, 1997 .

A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

SchusterAssaf, GrumbergOrna, HeymanTamir, 2002 .

Counterexample-guided abstraction refinement for symbolic model checking

JhaSomesh, ClarkeEdmund, VeithHelmut, 2003 .

A game-based framework for CTL counterexamples and 3-valued abstraction-refinement

GrumbergOrna, ShohamSharon, 2007 .