Targeting safety-related errors during software requirements analysis

This publication has 11 references indexed in Scilit:

• Detecting unsafe error recovery schedules
  IEEE Transactions on Software Engineering, 1992
• Experience with Fagan's inspection method
  Software: Practice and Experience, 1992
• Formal verification of algorithms for critical systems
  Published by Association for Computing Machinery (ACM) ,1991
• Software requirements analysis for real-time process-control systems
  IEEE Transactions on Software Engineering, 1991
• Software safety in embedded computer systems
  Communications of the ACM, 1991
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• A unified high-level Petri net formalism for time-critical systems
  IEEE Transactions on Software Engineering, 1991
• Safety-critical control systems
  Computing & Control Engineering Journal, 1991
• A specifier's introduction to formal methods
  Computer, 1990
• Real-time interval logic for reasoning about executions of real-time programs
  Published by Association for Computing Machinery (ACM) ,1989