Skip to main content
main-content

Zeitschrift

Formal Methods in System Design

Formal Methods in System Design 3/2015

Ausgabe 3/2015

Special issue on Runtime Verification 2013

Inhaltsverzeichnis ( 5 Artikel )

01.06.2015 | Ausgabe 3/2015

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

01.06.2015 | Ausgabe 3/2015

Synthesising correct concurrent runtime monitors

Adrian Francalanza, Aldrin Seychell

01.06.2015 | Ausgabe 3/2015

Monitoring of temporal first-order properties with aggregations

David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu

01.06.2015 | Ausgabe 3/2015

The ins and outs of first-order runtime verification

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

01.06.2015 | Ausgabe 3/2015

Runtime verification with minimal intrusion through parallelism

Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister

Aktuelle Ausgaben

Premium Partner

    Bildnachweise