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