References
- R.S. Boyer
and J.S. Moore. Proof-Checking, Theorem-Proving, and Program Verification.
In Contemporary Mathematics, Automated Theorem Proving: After 25 Years,
American Mathematical Society, Providence, Rhode Island, 1984, pp. 119-132.
- Chin-Liang Chang, Richard Char-Tung
Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York,
USA, 1973.
- Richard
A. De Millo, Richard J. Lipton and Alan J. Perlis, Social Processes and Proofs
of Theorems and Programs, Communications of the ACM, May 1979, Volume
22, Number 5, Page 271.
- Dill,
David. Personal Interview. Irani, Lilly and Elita Cheung. 14 Sep. 1999.
- Dill, David. Powerpoint slides
for talk given at POPL '99. "Formal Verification: Experiences and Future
Prospects."
- Fetzer, James H. "Program
Verification: The Very Idea." Communications of the ACM, Sept.
1988, Volume 31, Number 9, Page 1048.
- Melvin Fitting. First-Order Logic
and Automated Theorem Proving. Springer-Verlag, New York, USA, 1990.
- Matuszewski,
Roman, ed. "The QED Workshop II held in Warsaw, July 20-22, 1995."
Warsaw University: Dept. of Logic, 1995.
- O'Leary, John,
Xudong Zhao, Rob Gerth, Carl-Johan Seger. "Formally Verifying IEEE Compliance
of Floating Point Hardware." Strategic CAD Labs, Intel Corp. Hillsboro, OR.
- "The QED
Manifesto." Automated Deduction- CADE 12. Springer Verlag, LNAI 814.
pp. 238-251, 1994.
- "The Uncommon Dictionary-
Electronics Glossary." http://www.maxmon.com