Specification and Automated Verification of Dynamic Dataflow Networks

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Jonatan Wiik, Pontus Boström
Redaktörer: Alessandro Cimatti, Marjan Sirjani
Publiceringsår: 2017
Förläggare: Springer
Moderpublikationens namn: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings
Seriens namn: Lecture Notes in Computer Science
Volym: 10469
Artikelns första sida, sidnummer: 136
Artikelns sista sida, sidnummer: 151
ISBN: 978-3-319-66196-4
eISBN: 978-3-319-66197-1
ISSN: 0302-9743


Abstrakt

Dataflow programming has received much recent attention within the signal processing domain as an efficient paradigm for exploiting parallelism. In dataflow programming, systems are modelled as a static network of actors connected through asynchronous order-preserving channels. In this paper we present an approach to contract-based specification and automated verification of dynamic dataflow networks. The verification technique is based on encoding the dataflow networks and contracts in the guarded command language Boogie.


Senast uppdaterad 2019-14-10 vid 06:02