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; … Read More →