Software verification and validation with destiny a parallel approach to automated theorem proving.
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 so...
| Published in: | Crossroads : the ACM student magazine. 8, 3 (2002). |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: |