Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik; Pontus Boström

Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik, Pontus Boström

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Förlag	Turku Centre for Computer Science (TUCS)
ISBN (tryckt)	978-952-12-3486-6
Status	Publicerad - 2016
MoE-publikationstyp	D4 Publicerad utvecklings- eller forskningsrapport eller studie

Åtkomst av dokument

http://tucs.fi/publications/view/?pub_id=tWiBo16a

Citera det här

@book{8e298d3616404cb3b7428a758fa59b1d,

title = "Specification and Automated Verification of Dynamic Dataflow Networks",

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.",

author = "Jonatan Wiik and Pontus Bostr{\"o}m",

note = "TUCS Technical Report No 1170, December 2016",

year = "2016",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-952-12-3486-6",

publisher = "Turku Centre for Computer Science (TUCS)",

}

TY - BOOK

T1 - Specification and Automated Verification of Dynamic Dataflow Networks

AU - Wiik, Jonatan

AU - Boström, Pontus

N1 - TUCS Technical Report No 1170, December 2016

PY - 2016

Y1 - 2016

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

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

M3 - Beställd rapport

SN - 978-952-12-3486-6

BT - Specification and Automated Verification of Dynamic Dataflow Networks

PB - Turku Centre for Computer Science (TUCS)

ER -