Assertion: temporal logic | /r/ObjectUse | used for reasoning
Facets:
value: in concurrent systems
type: LOCATION
Source sentences:
text: Temporal logic is used for reasoning in concurrent systems.