A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture

First Author: Fox A
Attributed to:  Trustworthy programming for multiple instruction sets funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-14052-5_18

Publication URI: http://dx.doi.org/10.1007/978-3-642-14052-5_18

Type: Book Chapter

Book Title: Interactive Theorem Proving (2010)

Page Reference: 243-258

ISBN: 978-3-642-14051-8

ISSN: 2731-5525