Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods

This publication has 10 references indexed in Scilit:

• NASA Langley's research program in formal methods
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• Gordon's computer: A hardware verification case study in OBJ3
  Formal Methods in System Design, 1994
• Formally verifying a microprocessor using a simulation methodology
  Published by Association for Computing Machinery (ACM) ,1994
• Using transformations and verification in circuit design
  Formal Methods in System Design, 1993
• Validation of ultrahigh dependability for software-based systems
  Communications of the ACM, 1993
• The infeasibility of experimental quantification of life-critical software reliability
  ACM SIGSOFT Software Engineering Notes, 1991
• Formal verification of a pipelined microprocessor
  IEEE Software, 1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• An Advanced-Architectur CMOS/SOS Microprocessor
  IEEE Micro, 1982