Specification and Automated Verification of Dynamic Dataflow Networks

D4 Published development or research report or study

Internal Authors/Editors

Publication Details

List of Authors: Jonatan Wiik, Pontus Boström
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 2016
Start page: 1
End page: 22
ISBN: 978-952-12-3486-6


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-05-07 at 03:43