Successful use of incremental BMC in the automotive industry
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and automated test case generation are some of the most common applications of automated verification tools based on Bounded Model Checking (B...
| Main Authors: | , , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2015
|