Assertion: pat | /r/CapableOf | outperform popular model checkers
Facets:
value: in some cases
type: TEMPORAL
Source sentences:
text: No post found with slug "experiments" results show that PAT is capable of verifying systems with large number of states and outperforms the popular model checkers in some cases.