Hoare Logic for ARM Machine Code.
Magnus O. MyreenAnthony C. J. FoxMichael J. C. GordonPublished 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