A Scratchpad Memory-Based Execution Platform for Functional Reactive Systems and Its Static Timing Analysis.

Zeinab Kazemi Albert M. K. Cheng

Published in: RTCSA (2016)

Keyphrases

reactive systems
control flow
data flow
model checking
petri net
real time
information flow
temporal logic
formal methods
execution model
information systems
process model
memory based learning
state machines
training data
software testing