 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
• |
Formal
verification is widely used in hardware
|
|
|
verification
|
|
|
• |
Errors
found late in the production cycle are
|
|
|
more expensive to correct in hardware than in
|
|
software
|
|
|
• |
In
safety-critical software systems correctness
|
|
|
requirements
warrant formal verification
|
|
|
• |
Emphasis
on design processes that already
|
|
|
employ
formal methods
|
|