Formal specification and verification of ARM6
Anthony C. J. Fox[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Theorem Proving in Higher Order Logics (TPHOLs '03)
LNCS, volume 2758
Springer
Pages 25-40
2003
Note(s): Arm architecture, ISA specification, instruction set architecture
LNCS, volume 2758
Springer
Pages 25-40
2003
Note(s): Arm architecture, ISA specification, instruction set architecture