===========================================================================
This directory contains examples in Murphi 3.0 for

	Toy Examples

Please mail bug reports, questions, suggestions, etc. to:

	"murphi@verify.stanford.edu".

===========================================================================
There are 8 files in this directory:

Makefile	: make file to generate the C++ verifier
Readme		: this file
down.m		: count down until sum of elements in an array is zero
lin.m		: linear state space generated by a incrementing
		: single variable
pingpong.m	: ping pong , classical example
sets.m		: representing set in Murphi
sort5.m		: nondeterministic sort
===========================================================================
