ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Verification of the DASH cache consistency protocols

Gopinath, K and Rao, Manohara R (1994) Verification of the DASH cache consistency protocols. In: Computer Systems and Education. Proceedings of the International Conference on Computer Systems and Education in Honour of Prof. V. Rajaraman, 22-25 June 1994, Bangalore, India, pp. 16-31.

Full text not available from this repository. (Request a copy)


Symbolic model checking is a technique to represent a very large state space compactly using Boolean decision diagrams without explicitly constructing the state graph. In this paper, we use a symbolic model verifier (SMV) that follows this approach to verify a simplified version of the cache consistency protocols of Stanford's DASH (Directory Architecture for SHared memory) multiprocessor

Item Type: Conference Paper
Publisher: Tata McGraw-Hill
Additional Information: Copyright of this article belongs to Tata McGraw-Hill.
Keywords: cache storage;data integrity;diagrams;formal verification; memory protocols;shared memory systems;state space methods; temporal logic
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 28 Sep 2007
Last Modified: 11 Jan 2012 09:27
URI: http://eprints.iisc.ac.in/id/eprint/11020

Actions (login required)

View Item View Item