Specification and Automated Verification of Dynamic Dataflow Networks

A4 Conference proceedings

Internal Authors/Editors

Publication Details

List of Authors: Jonatan Wiik, Pontus Boström
Editors: Alessandro Cimatti, Marjan Sirjani
Publication year: 2017
Publisher: Springer
Book title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings
Title of series: Lecture Notes in Computer Science
Volume number: 10469
Start page: 136
End page: 151
ISBN: 978-3-319-66196-4
eISBN: 978-3-319-66197-1
ISSN: 0302-9743


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.

Last updated on 2020-08-08 at 05:55