Formal definition and verification of data flow diagrams.

Yonglei Tao Chenho Kung

Published in: J. Syst. Softw. (1991)

Keyphrases

data flow
symbolic execution
database machine
control flow
digital signal processing
model checking
object oriented software
object oriented
data transfer
artificial intelligence
case study
verification method
systolic array
databases
face verification
formal verification
graphical representation