What is Formal Verification?

What is Formal Verification?

Verifier

System

to be verified

Specification

Yes

No

Error trace

Previous slide

Next slide

Back to the first slide

View Graphic Version