Going with the Flow: Parameterized Verification Using Message Flows.

Murali Talupur Mark R. Tuttle

Published in: FMCAD (2008)

Keyphrases

origin destination
email
model checking
formal verification
information retrieval
program chairs
differentiated services
flow field
travel time
flow patterns
signature verification
formal methods
real time
knowledge base
information systems
learning algorithm
concurrent systems