Specification and Automated Verification of Dynamic Dataflow Networks

D4 Publicerad utvecklings- eller forskningsrapport eller studie


Interna författare/redaktörer


Publikationens författare: Jonatan Wiik, Pontus Boström
Förläggare: Turku Centre for Computer Science (TUCS)
Publiceringsår: 2016
Artikelns första sida, sidnummer: 1
Artikelns sista sida, sidnummer: 22
ISBN: 978-952-12-3486-6


Abstrakt

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.

Senast uppdaterad 2020-25-02 vid 04:26