Anthony C. J. Fox
Anthony C. J. Fox appears in the provided evidence through a bibliographic entry for the 2003 paper “Formal specification and verification of arm6.” The paper was published in TPHOLs, volume 2758 of Lecture Notes in Computer Science, on pages 25–40, by Springer, with David A. Basin and Burkhart Wolff listed as editors. The entry also gives the ISBN as 3-540-40664-6.
Publication noted in the evidence
| Item | Details |
|---|---|
| Author | Anthony C. J. Fox |
| Title | “Formal specification and verification of arm6” |
| Venue | TPHOLs |
| Series | Lecture Notes in Computer Science, volume 2758 |
| Pages | 25–40 |
| Publisher | Springer |
| Year | 2003 |
| Editors | David A. Basin and Burkhart Wolff |
| ISBN | 3-540-40664-6 |
Technical context
The case-study paper “Test Program Generation for a Microprocessor: A Case Study” cites Fox’s 2003 ARM6 work in its related-work discussion. In that discussion, the authors state that formal verification has been widely used in the hardware industry, but that formal models of complete processors and end-to-end verification approaches from the application layer to the hardware design layer are rare. The source names Fox’s work as one of the notable exceptions, alongside VAMP and Appenzeller and Kuehlmann.
The same related-work section also identifies Fox’s work as the closest related work with respect to the processor model and states that the case-study approach should be directly applicable to it.
Scope of the available evidence
The provided evidence supports only a limited technical profile: it identifies Fox as the author of a formal specification and verification paper about ARM6 and describes that paper’s role in the related-work context of microprocessor test-program generation and processor modeling. No affiliation, biography, education, or broader publication history is provided in the evidence.