Certification of an increment is complete once it has passed the

Certification of an increment is complete once it has passed the formal verification process. ~@[](1)

答案：FALSE