Project Description
Chalice is a verifier for concurrent programs


Chalice is a verifier for concurrent programs.

Detailed instructions on how to build, run and test Chalice can be found in the file readme.md in the root directory of the sources.

Last edited Jun 4 at 1:21 AM by rustanleino, version 4