Documents Background information Formal verification methods based on theorem proving techniques and...

Slide 1 Background information Formal verification methods based on theorem proving techniques and model­checking –to prove the absence of errors (in the formal model)…