Model checking of Scenario-Aware Dataflow with CADP

@article{Theelen2012ModelCO,
  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)},
  year={2012},
  pages={653-658}
}
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