Applications of Theorem Proving to Assertion Based Verification

Case for Support

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

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

• Diagrammatic workplan
  [postscript | pdf ]

Grant progress

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