The main technique employed in the verification subsystem is rewriting induction featuring batchproof method and witnessed test sets.
验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。
2
It is important to point out that by itself, an alert provided by a method designed to detect unexpected events or degradation patterns is no proof that the batch in question has a deviating trend.