Model checking of Scenario-Aware Dataflow with CADP

  title={Model checking of Scenario-Aware Dataflow with CADP},
  author={Bart D. Theelen and Joost-Pieter Katoen and Hao Wu},
  journal={2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
Various dataflow formalisms have been used for capturing the potential parallelism in streaming applications to realise distributed (multi-core) implementations as well as for analysing key properties like absence of deadlock, throughput and buffer occupancies. The recently introduced formalism of Scenario-Aware Dataflow (SADF) advances these abilities by… CONTINUE READING