Source

PReach / examples /

Filename Size Date modified Message
..
dash
multiset+sym
mux
others
sci
secur
sym
toy
690 B
===========================================================================
This directory contains lots of example protocols in Murphi.
To compile and run with PReach, see ../README 

dash		: the DASH multiprocessor protocols
multiset+sym    : examples using both scalarsets and multisets
mux             : mutual exclusion algorithms
others          : other practical systems
sci             : typical set cache coherence protocol of the Scalable 
                  Coherent Interface (SCI), IEEE Std 1596-1992
secur           : security protocols
sym             : examples using scalarsets
toy		: toy examples
===========================================================================