Bad for OSS/FS? Certainly no evidence that proprietary will save us!
Posted Sep 18, 2003 1:41 UTC (Thu) by jtc
In reply to: Bad for OSS/FS? Certainly no evidence that proprietary will save us!
Parent article: Remotely exploitable sendmail vulnerability
There are methods for formal software verification of software against the specification.
And there are languages that provide advanced features to support formal verification, such as Eiffel, with its unique programming-by-contract mechanism. Unfortunately, most developers, even very skilled and talented ones, tend to be set in their ways and would often rather stick with the tools they're used to rather than look for something that may be more effective for the job at hand.
to post comments)