C.H. Pygott

3 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.

Formal Specification of the VIPER Microprocessor in HOL
C.H. Pygott (1990) · Royal Signals and Radar Establishment
Application of formal methods to the VIPER microprocessor
W.J. Cullyer and others (1987) · IEE Proceedings E Computers and Digital Techniques · Institution of Engineering and Technology (IET)
Hardware Proofs Using LCF-LSM and ELLA
W.J. Cullyer and others (1985) · Royal Signals and Radar Establishment