Chalice is a language and verifier for writing and verifying concurrent programs developed by Microsoft Research based on Permission logic.

Notes related to Chalice verifier

Permission logic

Papers related to Chalice verifier

• Fractional permissions without the fractions [heule:ftfjp:2011]
• Verification of concurrent programs with Chalice [leino:fosad:2007]