Verifying a Sliding Window Protocol using PVS.

Published in: FORTE (2001)

Keyphrases

sliding window
data streams
streaming data
fixed size
window size
formal verification
model checking
limited memory
stream data
space efficient
variable size
theorem proving
continuous queries
timed automata
bit rate
closed frequent itemsets