Comparison-Based File Server Verification.

Yuen-Lin Tan Terrence Wong John D. Strunk Gregory R. Ganger

Published in: USENIX Annual Technical Conference, General Track (2005)

Keyphrases

database
file system
client server
real time
model checking
web server
asynchronous circuits