The industrial take-up of formal methods in safety-critical and other areas: A perspective

This publication has 15 references indexed in Scilit:

• Computer software in civil aircraft
  Microprocessors and Microsystems, 1993
• Cleanroom and Z
  Published by Springer Nature ,1993
• Formal Methods: Use and Relevance for the Development of Safety-Critical Systems
  The Computer Journal, 1992
• An analysis of selected software safety standards
  IEEE Aerospace and Electronic Systems Magazine, 1992
• Trusted computing systems
  Published by Association for Computing Machinery (ACM) ,1992
• Unintrusive ways to integrate formal specifications in practice
  Published by Springer Nature ,1991
• The use of Z
  Published by Springer Nature ,1991
• A survey of Z courses in the UK
  Published by Springer Nature ,1991
• Software technology transfer
  Software Engineering Journal, 1991
• Software engineers and the IEE
  Software Engineering Journal, 1986