The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
应用推荐