Assertion: chalice | /r/HasProperty | experimental language
Facets:
Source sentences:
text: Chalice is an experimental language that explores specification and verification of concurrency in programs.