Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.

Christian Dietrich Martin Hoffmann Daniel Lohmann

Published in: LCTES (2015)

Keyphrases

event driven
real time systems
control flow
data flow
databases
case study
distributed systems
theorem prover
software testing