michael.j.boldischar writes: The website disgruntledrats.com has an interesting article on a method for using static analysis in code to prevent disasters such as plane crashes and satellite losses. Many system failures occur because of communication problems during system design and implementation. One of these problems is the expression of units (e.g. feet, meters, yards). Read the article to find out more!
[Crash programs] fail because they are based on the theory that, with nine
women pregnant, you can get a baby a month.
-- Wernher von Braun