Login / Signup

Specification and Automated Verification of Dynamic Dataflow Networks.

Jonatan WiikPontus Boström
Published in: SEFM (2017)
Keyphrases
  • network design
  • automated verification
  • formal verification
  • model checking
  • formal specification
  • specification language
  • high level declarative
  • high level
  • np hard
  • np complete
  • message passing
  • data flow