Verification of streaming designs by combining symbolic simulation and equivalence checking.

Tim Todman Wayne Luk

Published in: FPL (2012)

Keyphrases

verification method
data streams
model checking
connectionist learning
website
simulation models
information systems
mathematical model
symbolic representation
design space
database
stream processing
signature verification
consistency checking