Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods

This publication has 13 references indexed in Scilit:

• NASA Langley's research program in formal methods
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Mathematical Logic Flushes Out the Bugs in Chip Designs
  Science, 1995
• An integration of model checking with automated proof checking
  Published by Springer Nature ,1995
• Formal modeling and verification of microprocessors
  IEEE Transactions on Computers, 1995
• Ground temporal logic: A logic for hardware verification
  Published by Springer Nature ,1994
• Automatic verification of pipelined microprocessor control
  Published by Springer Nature ,1994
• On the Meaning of Safety and Security
  The Computer Journal, 1992
• Formal verification of a pipelined microprocessor
  IEEE Software, 1990
• Advances in software inspections
  IEEE Transactions on Software Engineering, 1986