Assertion: spin | /r/CapableOf | save memory
Facets:
Source sentences:
text: SPIN also offers a large number of options to further speed up the model-checking process and save memory, such as: