Hoare Logic for Realistically Modelled Machine Code.

Magnus O. Myreen Michael J. C. Gordon

Published in: TACAS (2007)

Keyphrases

logical operations
source code
logic programming
proof theory
defeasible logic
predicate logic
batch processing
asynchronous circuits
flowshop
multi valued
digital circuits
program code
genetic algorithm
java virtual machine
logical framework
binary codes
scheduling problem