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:
“What more is necessary to make us a happy and prosperous people? Still one thing more … a wise and frugal government, which shall restrain men from injuring one another, which shall leave them otherwise free to regulate their own pursuits of industry and improvement, and shall not take from labor the bread it has earned.”
—Thomas Jefferson (1743–1826)
“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)