Formal Specification and Verification of ARM-based Systems

Case for Support

• Part 1: Previous research track record
  [postscript | pdf ]

• Part 2: Description of the proposed research
  [postscript | pdf ]

• Diagrammatic workplan

Letter of support from ARM

• CCL Support letter.doc

Grant progress

• EPSRC reference:     GR/T20106/01 ( Progress Checker)
• University reference: RG 37408
• Details of Award