Formal specification and verification of microprocessor systems

This publication has 5 references indexed in Scilit:

• Logic programming and digital circuit analysis
  The Journal of Logic Programming, 1987
• Designing micro-based systems for fail-safe travel: For reliable control of railroads, aircraft, and space vehicles, designers are harnessing the power of the microprocessor
  IEEE Spectrum, 1987
• Verify: A program for proving correctness of digital hardware designs
  Artificial Intelligence, 1984
• Scheme-79 — Lisp on a Chip
  Computer, 1981
• Instruction set processor specifications (ISPS): The notation and its applications
  IEEE Transactions on Computers, 1981