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:
“You must, to get through life well, practice industry with economy, never create a debt for anything that is not absolutely necessary, and if you make a promise to pay money at a day certain, be sure to comply with it. If you do not, you lay yourself liable to have your feelings injured and your reputation destroyed with the just imputation of violating your word.”
—Andrew Jackson (1767–1845)
“He had much industry at setting out,
Much boisterous courage, before loneliness
Had driven him crazed;
For meditations upon unknown thought
Make human intercourse grow less and less....”
—William Butler Yeats (1865–1939)