Assertion: spin | /r/CapableOf | stand for simple promela interpreter
Facets:
Source sentences:
text: Systems to be verified are described in Promela (Process Meta Language), which supports modeling of asynchronous distributed algorithms as non-deterministic automata (SPIN stands for "Simple Promela Interpreter").