Specification and Automated Verification of Dynamic Dataflow Networks

Jonatan Wiik, Pontus Boström

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    1 Sitaatiot (Scopus)

    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
    OtsikkoSoftware Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings
    ToimittajatAlessandro Cimatti, Marjan Sirjani
    KustantajaSpringer
    Sivut136–151
    ISBN (elektroninen)978-3-319-66197-1
    ISBN (painettu)978-3-319-66196-4
    DOI - pysyväislinkit
    TilaJulkaistu - 2017
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Software Engineering and Formal Methods (SEFM) - 15th International Conference on Software Engineering and Formal Methods. SEFM 2017
    Kesto: 4 syyskuuta 20178 syyskuuta 2017

    Konferenssi

    KonferenssiInternational Conference on Software Engineering and Formal Methods (SEFM)
    Ajanjakso04/09/1708/09/17

    Viittausmuodot