Formal Specification and Verification of ARM-based Systems

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Formal Specification and Verification of ARM-based Systems

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