Assertion: state machine | /r/HasProperty | executed
Facets:
Source sentences:
text: When “running” a state machine, this abstract state machine is executed.