Is nothing enough?
Is nothing enough?
Posted May 3, 2012 14:29 UTC (Thu) by nybble41 (subscriber, #55106)In reply to: Is nothing enough? by Comet
Parent article: Fuzzing for Security (The Chromium Blog)
> So formal methods do not exist?
No, they're just impractical for software of any reasonable complexity. The largest piece of software I've ever heard of which had a formal proof of correctness was a version of the L4 microkernel--essentially not much more than a low-level message-passing interface, with less than 9k lines of C code--and even then the proof is only as good as the requirements defining "correctness".