• 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. In: Alessandro Cimatti, Marjan Sirjani (Eds.), Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, Lecture Notes in Computer Science 10469, 136–151, Springer, 2017.

http://dx.doi.org/10.1007/978-3-319-66197-1_9

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.

BibTeX entry:

@INPROCEEDINGS{inpWiBo17a,
  title = {Specification and Automated Verification of Dynamic Dataflow Networks},
  booktitle = {Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings},
  author = {Wiik, Jonatan and Boström, Pontus},
  volume = {10469},
  series = {Lecture Notes in Computer Science},
  editor = {Cimatti, Alessandro and Sirjani, Marjan},
  publisher = {Springer},
  pages = {136–151},
  year = {2017},
  ISSN = {0302-9743},
}

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

Publication Forum rating of this publication: level 1

Edit publication