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 |