Dynamic Symbolic Execution of Distributed Concurrent Objects

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelTests and Proofs
Herausgeber (Verlag)Springer Verlag
Seiten105-120
Band5668
DOIs
PublikationsstatusVeröffentlicht - 2009
VeranstaltungThird International Conference on Tests and Proofs: TAP 2009 - Zürich, Schweiz
Dauer: 2 Juli 20093 Juli 2009

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer-Verlag

Konferenz

KonferenzThird International Conference on Tests and Proofs
Land/GebietSchweiz
OrtZürich
Zeitraum2/07/093/07/09
  • Formale Methoden

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren