O. Grumberg

8 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Progress on the State Explosion Problem in Model Checking

E. Clarke and others (2001) · Springer Berlin Heidelberg

Counterexample-Guided Abstraction Refinement

E. Clarke and others (2000) · Springer Berlin Heidelberg

Another look at LTL Model Checking

E. M. Clarke and others (1994) · CAV’94

Verification of the Futurebus1 cache coherence protocol

E. M. Clarke and others (1993) · Proceedings CHDL

Network grammars, communication behaviors and automatic verification

Z. Shtadler and others (1990) · Springer Berlin Heidelberg

Characterizing Kripke Structures in Temporal Logic.

M. C. Browne and others (1987) · Defense Technical Information Center

Reasoning about networks with many identical finite state processes

M. C. Browne and others (1986) · ACM Symposium on Principles of Distributed Computing (PODC 1986)

A proof rule for fair termination of guarded commands

O. Grumberg and others (1981) · Algorithmic Languages · North-Holland