Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Homepage: Anthony Fox
[go: Go Back, main page]

Anthony Fox

Research Associate.

University of Cambridge
Computer Laboratory
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD

Telephone: 01223 763598

Publications and Reports

  1. A.C.J Fox. An algebraic framework for verifying the correctness of hardware with input and output: a formalization in HOL. In J.L. Fiadeiro et al. (Eds.): CALCO 2005, LNCS 3629, pp. 157-174, 2005.
  2. A.C.J Fox and N.A. Harman. Algebraic models of correctness for abstract pipelines. The Journal of Logic and Algebraic Programming, 57(1-2): 71-107, 2003.
  3. A.C.J Fox. Formal specification and verification of ARM6. In David Basin and Burkhart Wolff, editors, TPHOLs '03, volume 2758 of LNCS, pages 25-40. Springer-Verlag, 2003.
  4. A.C.J. Fox, Formal verification of the ARM6 micro-architecture. Technical report No. 548, University of Cambridge Computer Laboratory, November 2002.
  5. A.C.J. Fox, A HOL specification of the ARM instruction set architecture. Technical report No. 545, University of Cambridge Computer Laboratory, June 2001.
  6. A.C.J. Fox, An algebraic framework for modelling and verifying microprocessors using HOL. Technical report No. 512, University of Cambridge Computer Laboratory, April 2001.
  7. A.C.J. Fox and N.A. Harman, Algebraic Models of Correctness for Microprocessors. Formal Aspects of Computing, 12(4): 298-312, 2000.
  8. A.C.J. Fox, Algebraic Models for Advanced Microprocessors, PhD thesis, University of Wales Swansea, 1998.
Publications before 1998

Unpublished papers