Thumbnail
Access Restriction
Subscribed

Author Dykstra, Josiah
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract This paper presents an introduction to computer-aided theorem proving and a new approach using parallel processing to increase power and speed of this computation. Automated theorem provers, along with human interpretation, have been shown to be powerful tools in verifying and validating computer software. Destiny is a new tool that provides even greater and more powerful analysis enabling greater ties between software programs and their specifications.
Description Affiliation: Hope College, Holland, MI (Dykstra, Josiah)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2003-03-01
Publisher Place New York
Journal Crossroads (CROS)
Volume Number 8
Issue Number 3
Page Count 5
Starting Page 23
Ending Page 27


Open content in new tab

   Open content in new tab
Source: ACM Digital Library