Chalice - Verification of Concurrent Software
=============================================

Compiling Chalice: make.bat
Running Chalice: chalice.bat <file.chalice> [-params]
Running the tests for Chalice: see tests/readme.txt