The Dogged Pursuit of Bug-Free C Programs: The Frama-C Software Analysis Platfocacm.acm.org3 pointstodsacerdoti5 years ago