Applications of CBMC

The following papers describe interesting applications of CBMC:

Error explanation and localization

Concurrency

Equivalence Checking

Cyper-physical Systems and Control

Further Practical Applications and Experience Reports

Test-vector generation

Worst-case execution time

Security

Others

We are happy to hear about applications of CBMC and your experience.