This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Jeffrey J. Joyce
A grouping.
Jeffrey J. Joyce, Cambridge HOL group: Gordon's computer redone in HOL, VLSI regular structures, microprocessor systems, multi-level verification - one instinct at widening scales: state what a proof covered.
7 references
Multi-level verification of microprocessor-based systems
Jeffrey J. Joyce (1990) · University of Cambridge Computer Laboratory
A verified compiler for a verified microprocessor
Jeffrey J. Joyce (1989) · Computer Laboratory, University of Cambridge
Formal specification and verification of asynchronous processes in higher-order logic
Jeffrey J. Joyce (1988) · University of Cambridge Computer Laboratory
Formal specification and verification of microprocessor systems
Jeffrey J. Joyce (1988) · University of Cambridge Computer Laboratory
Formal Verification and Implementation of a Microprocessor
Jeffrey J. Joyce (1988) · Kluwer international series in engineering and computer science · Springer Nature
Hardware verification of VLSI regular structures
Jeffrey J. Joyce (1987) · University of Cambridge Computer Laboratory
Proving a computer correct in higher order logic
Jeff Joyce and others (1986) · University of Cambridge Computer Laboratory