Assertion: model | /r/HasProperty | machine-readable
Facets:
Source sentences:
text: If a model is machine-readable and formal to the extent that it has a well-defined behavioral interpretation, test cases can in principle be derived mechanically.