I am pleased to announce the availability of some of the recordings from the TVS Verification Futures 2012 conferences held across Europe during November. The recordings contain the slides and the speaker explanation – so give a lot of value … Read More
Tag Archives: Jasper
Practical Application of Model Checking – a Taxonomy of Methodologies
Model Checking promises so much potential but how do we ensure we maximise the ROI? It helps by first trying to have a language to discuss how we can apply it: Bug Avoidance: In this application of model checking the … Read More
Formal Discussions at DAC
Model Checking promises so much potential but how do we ensure we maximise the ROI? It helps by first trying to have a language to discuss how we can apply it: Bug Avoidance: In this application of model checking the … Read More
TVS to present at DAC on Practical Application of Model Checking
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
Paper on “Practical Approaches to Formal Verification” at Jasper UK Conference 2012
Click TVS_Formal_Verif_Feb_2012 to view the TVS paper on ”Practical Approaches to Formal Verification” delivered at the Jasper UK Conference in 2012