How can you reason about the correctness of a concurrent program?
'►' 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 © 2015 Microsoft Corporation -
privacy & cookies
code of conduct