• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik, Pontus Boström, Specification and Automated Verification of Dynamic Dataflow Networks. TUCS Technical Reports 1170, TUCS, 2016.

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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tWiBo16a,
  title = {Specification and Automated Verification of Dynamic Dataflow Networks},
  author = {Wiik, Jonatan and Boström, Pontus},
  number = {1170},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2016},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication