TVS will be presenting at DAC on Practical Application of Model Checking.
This presentation is in partnership with ARM and Jasper. It describes four different applications of model checking and the strengths/challenges of applying these techniques: Bug avoidance; Bug hunting; Bug absence; Bug analysis.
TVS presented a paper on this at a recent Jasper conference. Follow the link to get access.
TVS will be at stand 1623 if you want to find out more about how our products and services can help solve your verification challenges.