Assertion: alloy | /r/HasProperty | designed with automatic analysis
Facets:
value: in mind
type: OTHER
Source sentences:
text: Although Alloy is designed with automatic analysis in mind, Alloy differs from many specification languages designed for model-checking in that it permits the definition of infinite models.