SMV Scenario

• Distributed file system application

• Client-Server components

• Cache coherence protocol

• Question 1: does the protocol guarantee that the client’s belief about validity of a file is correct with respect to the server’s belief?

• Question 2: does the protocol guarantee that the server’s belief about validity of a file is correct with respect to the client’s belief?

Previous slide

Next slide

Back to first slide

View graphic version