Assertion: pat | /r/HasProperty | partial order reduction
Facets:
Source sentences:
text: To achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel model checking.