Sign in
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