Login / Signup
Verification Programs for Abduction.
Paolo Liberatore
Francesco M. Donini
Published in:
ECAI (2000)
Keyphrases
</>
symbolic execution
hardware designs
model checking
computer programs
background knowledge
formal methods
asynchronous circuits
neural network
search engine
answer sets
control flow
test generation
program execution
provably correct
verification method