Anthony C. J. Fox
PersonAnthony C. J. Fox is identified in the provided evidence as the author of the 2003 TPHOLs paper “Formal specification and verification of arm6.” The cited work is discussed as closely related to processor-model work in a case study on test program generation for microprocessors.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 2 chunks
Wiki v1
WIKI
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
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsFox provides a formal specification and verification of the ARM6 processor.
CITATIONS
4 sources4 citations — click to collapse
[1] Anthony C. J. Fox authored the paper “Formal specification and verification of arm6.” Test Program Generation for a Microprocessor: A Case Study
[2] Fox’s paper appeared in TPHOLs, Lecture Notes in Computer Science volume 2758, pages 25–40, published by Springer in 2003, with David A. Basin and Burkhart Wolff as editors and ISBN 3-540-40664-6. Test Program Generation for a Microprocessor: A Case Study
[3] The case-study paper discusses Fox’s work as a notable exception among rare formal models of complete processors and end-to-end verification approaches. Test Program Generation for a Microprocessor: A Case Study
[4] The case-study paper describes Fox’s work as the closest related work with respect to the processor model and says the approach should be directly applicable to it. Test Program Generation for a Microprocessor: A Case Study