Industrial Uses
Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification. Since the Pentium FDIV bug, the complicated floating point units of modern microprocessors have been designed with extra scrutiny. Nowadays, AMD, Intel and others use automated theorem proving to verify that division and other operations are correctly implemented in their processors.
Read more about this topic: Automated Theorem Proving
Famous quotes containing the word industrial:
“I believe in human liberty as I believe in the wine of life. There is no salvation for men in the pitiful condescension of industrial masters. Guardians have no place in a land of freemen.”
—Woodrow Wilson (1856–1924)
“The Settlement ... is an experimental effort to aid in the solution of the social and industrial problems which are engendered by the modern conditions of life in a great city. It insists that these problems are not confined to any one portion of the city. It is an attempt to relieve, at the same time, the overaccumulation at one end of society and the destitution at the other ...”
—Jane Addams (1860–1935)