Search the dblp DataBase

Publications of Author

1. Anthony C. J. Fox
   An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. [Citation Graph (0, 0)][DBLP]
   CALCO, 2005, pp:157-174 [Conf]
   
2. Anthony C. J. Fox, Neal A. Harman
   An Algebraic Model of Correctness for Superscalar Microprocessors. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1996, pp:346-361 [Conf]
   
3. Anthony C. J. Fox, Neal A. Harman
   Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. [Citation Graph (0, 0)][DBLP]
   Prospects for Hardware Foundations, 1998, pp:138-183 [Conf]
   
4. Anthony C. J. Fox
   Formal Specification and Verification of ARM6. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2003, pp:25-40 [Conf]
   
5. Anthony C. J. Fox, Neal A. Harman
   Algebraic Models of Correctness for Microprocessors. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:4, pp:298-312 [Journal]
   
6. Anthony C. J. Fox, Neal A. Harman
   Algebraic models of correctness for abstract pipelines. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2003, v:57, n:1-2, pp:71-107 [Journal]
   
7. Magnus O. Myreen, Anthony C. J. Fox, Michael J. C. Gordon
   Hoare Logic for ARM Machine Code. [Citation Graph (0, 0)][DBLP]
   FSEN, 2007, pp:272-286 [Conf]
   
8. 
   The semantics of power and ARM multiprocessor machine code. [Citation Graph (, )][DBLP]
   
   
9. 
   A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture. [Citation Graph (, )][DBLP]