|
Home
| |
Resources
-
Dependable
Systems Evolution proposal Woodcock, 26 May 2003 (see also position
paper).
-
GC6
proposal mailing list, 2003-2004.
-
Grand Challenges for
Computing Research from the UK
Computing Research Committee (UKCRC).
-
Grand
Challenges for Computing Research from the National
e-Science Centre (NeSC).
-
Grand
Challenges in Computing, edited by Tony
Hoare and Robin Milner,
published by the BCS, 2004 (38 pages, PDF).
-
Computing
article, 24 September 2003.
-
Radio
Community Server article, 28 September 2003.
-
Wetware
article, 28 December 2003.
-
The Verifying
Compiler (see also slides)
by Tony Hoare.
-
VSR-net EPSRC Network (Verified
Software Repository, 2005-2008).
-
Verified
Software: A Grand Challenge by Cliff Jones, Peter O'Hearn and Jim
Woodcock, IEEE Computer,
39(4):93-95, April 2006.
|