References

• http://www.cs.ubc.ca/formalWARE/safety.htm

• Program Verification

  • Praxis Critical Systems: http://www.praxis-cs.co.uk/
  • SPARK Examiner: http://www.praxis-cs.co.uk/spark/spark.htm
  • Hercules: http://www.praxis-cs.co.uk/spark/sp_serv.htm

• Software Fault-Injection

  • Reliable Software Technologies: http://www.rstcorp.com/
  • SafetyNet: http://www.rstcorp.com/safnet1.html
  • BART: http://www.rstcorp.com/hughes.html

Previous slide

Back to first slide

View graphic version