Gordon's computer: A hardware verification case study in OBJ3

This publication has 27 references indexed in Scilit:

• The SECD Microprocessor
  Published by Springer Nature ,1992
• Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture
  Published by Springer Nature ,1991
• An overview of LP, the Larch Prover
  Lecture Notes in Computer Science, 1989
• UMIST OBJ: a Language for Executable Program Specifications
  The Computer Journal, 1989
• Verification of VLSI Circuits Using LP
  DAIMI Report Series, 1988
• Application of term rewriting techniques to hardware design verification
  Published by Association for Computing Machinery (ACM) ,1987
• Report on the larch shared language
  Science of Computer Programming, 1986
• Verify: A program for proving correctness of digital hardware designs
  Artificial Intelligence, 1984
• Rapid prototyping
  ACM SIGSOFT Software Engineering Notes, 1982
• Algebras, Theories and Freeness: An Introduction for Computer Scientists
  Published by Springer Nature ,1982