Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik; Pontus Boström

Specification and Automated Verification of Dynamic Dataflow Networks

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Abstrakti

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.

Alkuperäiskieli	Ei tiedossa
Kustantaja	Turku Centre for Computer Science (TUCS)
ISBN (painettu)	978-952-12-3486-6
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Pääsy asiakirjaan

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

Viittausmuodot

@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 -