Formal Verification in a Commercial Settings [chapter]

R. P. Kurshan
2000 Verification of Digital and Hybrid Systems  
This tutorial addresses the following questions: why do formal verification? who is doing it today? what are they doing? how are they doing it? what about the future?
doi:10.1007/978-3-642-59615-5_11 fatcat:hhdf35ivcfg6bkuwhl5zfj2fpq