This directory contains a demo example for the verification tool
Xeve. The example is a synchronous bus arbiter designed in Esterel.
Go to the directory arbiter and edit the README file to get details on 
how to play the demo.

Please send your comments, feedback and suggestions to
esterel-request@sophia.inria.fr and send your bug reports to
esterel-bugs@sophia.inria.fr.

Copyright CMA/INRIA 1996-2000.
