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
Abstract
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.