Assertion: specification | /r/CapableOf | provide check
Facets:
value: on each other
type: LOCATION
Source sentences:
text: This is because implementations and specifications provide checks on each other: writing a specification requires precisely stating the behavior of an implementation, and implementation checks that a specification is possible, practical, and consistent.