Assertion: spin | /r/CapableOf | operate as simulator
Facets:
Source sentences:
text: In addition to model-checking, SPIN can also operate as a simulator, following one possible execution path through the system and presenting the resulting execution trace to the user.