Assertion: driver | /r/HasProperty | stressed at same time
Facets:
Source sentences:
text: It acts within the kernel mode and can target specific device drivers for continual checking or make driver verifier functionality multithreaded, so that several device drivers can be stressed at the same time.