Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik, Pontus Boström

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    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äiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    ISBN (painettu)978-952-12-3486-6
    TilaJulkaistu - 2016
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot