Assurance Case Forum – January 2013

Posted by GSNAdmin on February 04, 2013

Presentations given during the Assurance Case Forum, hosted by the department of computer science at the University of York, UK, 17 January 2013.


Assurance Cases and the Canadian Software Certification Consortium (Prof Tom Maibaum, McMaster University)

The 4+1 Software Safety Principles and their relation to building safety cases (Richard Hawkins, University of York)

“Automating Assurance Cases – What’s Possible? What’s Useful?” (introduced by Tim Kelly)

Managing the Argument-Evidence Interface (Tim Kelly, University of York and Origin Consulting)


Comments are closed.