Assertion: spin | /r/HasProperty | general tool
Facets:
Source sentences:
text: SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion.