Assertion: spin | /r/CapableOf | offer large number of options
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: