Industry Use
The growth in complexity of designs increases the importance of formal verification techniques in the hardware industry. At present, formal verification is used by most or all leading hardware companies, but its use in the software industry is still languishing. This could be attributed to the greater need in the hardware industry, where errors have greater commercial significance. Because of the potential subtle interactions between components, it is increasingly difficult to exercise a realistic set of possibilities by simulation. Important aspects of hardware design are amenable to automated proof methods, making formal verification easier to introduce and more productive.
As of 2011, several operating systems have been formally verified: NICTA's Secure Embedded L4 microkernel, sold commercially as seL4 by OK Labs; OSEK/VDX based real-time operating system ORIENTAIS by East China Normal University; Green Hills Software's Integrity operating system; and SYSGO's PikeOS.
Read more about this topic: Formal Verification
Famous quotes containing the word industry:
“No delusion is greater than the notion that method and industry can make up for lack of mother-wit, either in science or in practical life.”
—Thomas Henry Huxley (1825–1895)
“... we’re not out to benefit society, to remold existence, to make industry safe for anyone except ourselves, to give any small peoples except ourselves their rights. We’re not out for submerged tenths, we’re not going to suffer over how the other half lives. We’re out for Mary’s job and Luella’s art, and Barbara’s independence and the rest of our individual careers and desires.”
—Anne O’Hagan (1869–?)