Assertion: logic's application | /r/CapableOf | go beyond program verification
Facets:
Source sentences:
text: It was later realized that the application of dynamic logic goes beyond program verification or reasoning about programs.