Assertion: alloy | /r/HasProperty | targeted at the creation of micro-models
Facets:
Source sentences:
text: Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness.