Assertion: spin | /r/CapableOf | generate c sources
Facets:
Source sentences:
text: Unlike many model-checkers, SPIN does not actually perform model-checking itself, but instead generates C sources for a problem-specific model checker.