The Dogged Pursuit of Bug-Free C Programs: Frama-C Software Analysis Platformcacm.acm.org5 pointsJtsummers5 years ago