Specification and verification of distributed technical systems with central control

von Schellhorn, Gerhard
Veröffentlicht 1994

Verification of a formal security model for multiapplicative smart cards

Veröffentlicht 2000

Specification and verification of distributed technical systems with central control

von Schellhorn, Gerhard
Veröffentlicht 1994

Verification of a prolog compiler : first steps with KIV

von Schellhorn, Gerhard
Veröffentlicht 1996

Verification of a prolog compiler : first steps with KIV

von Schellhorn, Gerhard
Veröffentlicht 1996

Fehlersuche in Formalen Spezifikationen

von Reif, Wolfgang
Veröffentlicht 2000

Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch

von Bodenmüller, Stefan
Veröffentlicht in iFM (16. : 2020 : Online) Integrated formal methods (2020)

Adding Concurrency to a Sequential Refinement Tower

von Schellhorn, Gerhard
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Empirische Untersuchung zu Gruppenentscheidung und individueller Zeitperspektive

von Schelhorn, Gerhard
Veröffentlicht 1978

A Fully Verified Persistency Library

von Bodenmüller, Stefan
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

von Bila, Eleni
Veröffentlicht in FORTE (40. : 2020 : Online) Formal techniques for distributed objects, components, and systems (2020)

FM-TOOLS 2000 : the 4th Workshop on Tools for System Design and Verification; ... held at the "Reisenburg", a beautiful castle near Ulm in South Germany; [10 - 13 July, 2000]

Veröffentlicht 2000