Hoare Logic for ARM Machine Code.

Magnus O. Myreen Anthony C. J. Fox Michael J. C. Gordon

Published in: FSEN (2007)

Keyphrases

source code
logical operations
modal logic
multi valued
logic programming
neural network

asynchronous circuits
computational properties
automated reasoning
classical logic
sound and complete axiomatization
data sets

logical framework
data flow
predicate logic
truth values
error correcting
belief revision

linear logic
proof theory
object oriented
programs written
expert systems