verify: IControl: check: deadlock: ok
verify: IControl: check: unreachable: ok
verify: IControl: check: livelock: ok
verify: IControl: check: deterministic: ok
verify: IAcquisition: check: deadlock: ok
verify: IAcquisition: check: unreachable: ok
verify: IAcquisition: check: livelock: ok
verify: IAcquisition: check: deterministic: ok
verify: IOptics: check: deadlock: ok
verify: IOptics: check: unreachable: ok
verify: IOptics: check: livelock: ok
verify: IOptics: check: deterministic: ok
verify: Driver: check: deterministic: ok
verify: Driver: check: illegal: ok
verify: Driver: check: deadlock: ok
verify: Driver: check: unreachable: ok
verify: Driver: check: livelock: ok
verify: Driver: check: compliance: ok
