Software verification and validation with destiny: a parallel approach to automated theorem proving.

Published in: XRDS (2002)

Keyphrases

automated theorem proving
theorem prover
theorem proving
parallel processing
answer set programming
first order logic
classical logic
inference rules
shared memory
parallel computing
orders of magnitude
parallel implementation