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