Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving.

Stefan Maus Michal Moskal Wolfram Schulte

Published in: AMAST (2008)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
inference rules
classical logic
mobile robot
test bed
data sets
data model
knowledge representation