Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study.

Simon Foster, Yakoub Nemouchi, Colin O'Halloran, Karen Stephenson, Nick Tudor

Browse the full ICSE paper archive.