Issues in developing software for safety critical systems

This publication has 6 references indexed in Scilit:

• Program verification: the very idea
  Communications of the ACM, 1988
• Integrated Project Support with IStar
  IEEE Software, 1987
• Mode errors: a user-centred analysis and some preventative measures using keying-contingent sound
  International Journal of Man-Machine Studies, 1986
• Mechanical Proofs about Computer Programs
  Published by Defense Technical Information Center (DTIC) ,1984
• The Byzantine Generals Problem
  ACM Transactions on Programming Languages and Systems, 1982
• Design and code inspections to reduce errors in program development
  IBM Systems Journal, 1976