Jeffrey J. Joyce
6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
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
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.
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