chalice
How can you reason about the correctness of a concurrent program?
loading...
'►' shortcut: Alt+B
about Chalice - A language and program verifier for reasoning about concurrent programs.
Chalice is a simple imperative programming language with constructs for thread creation, locking, and channels. The language has built-in specification constructs, and specifications are written in the style of implicit dynamic frames with fractional permissions.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct