Search CORE

70 research outputs found

Verifying sequentially consistent memory using interface refinement

Author: Gerth R.T.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1993
Field of study

Repository TU/e

Pure OAI Repository

Verifying sequentially consistent memory using interface refinement

Author: Gerth R.T.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1993
Field of study

Pure OAI Repository

On the existence of sound and complete axiomatizations of the monitor concept

Author: Gerth R.T.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1987
Field of study

Pure OAI Repository

Abstract interpretation of reactive systems : abstractions preserving $\forall$ CTL, $\exists$ CTL and CTL*

Author: Dams D.R.
Gerth R.T.
Grumberg O.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1994
Field of study

Repository TU/e

Pure OAI Repository

Practical symbolic model checking of the full µ-calculus using compositional abstractions

Author: Dams D.R.
Gerth R.T.
Kelb P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1995
Field of study

Pure OAI Repository

Practical symbolic model checking of the full µ-calculus using compositional abstractions

Author: Dams D.R.
Gerth R.T.
Kelb P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1995
Field of study

Pure OAI Repository

Full abstraction of a denotational semantics for real-time concurrency

Author: Gerth R.T.
Huizing C.
Roever de, W.P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1986
Field of study

Repository TU/e

Pure OAI Repository

Modelling Statecharts behaviour in a fully abstract way

Author: Gerth R.T.
Huizing C.
Roever de, W.P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1988
Field of study

Pure OAI Repository

A compositional semantics for statecharts

Author: Gerth R.T.
Huizing C.
Roever de, W.P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1987
Field of study

Repository TU/e

Pure OAI Repository

A partial order approach to branching time logic model checking

Author: Gerth R.T.
Kuiper R.
Peled D.
Penczek W.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1994
Field of study

Pure OAI Repository

…

core

core