Formal Methods Wiki

Grand Challenge 6
Dependable Systems Evolution

Chair: Jim Woodcock

Committee members:

Juan Bicarregui
Jonathan Bowen
Tony Hoare

Cliff Jones
John McDermid
Colin O'Halloran

Peter O'Hearn
Brian Randell
Martyn Thomas

Open UK workshop: GC6 FM05 Workshop, Newcastle upon Tyne, UK, 18 July 2005
See also EPSRC VSR-net Network (Verified Software Repository, 2005–2008)


See GC6 proposal mailing list.

Further information[]


The BCS-FACS Specialist Group is supporting the GC6 Committee by organizing meetings at the BCS London Office. Hosted on the FMnet website.

Maintained by Prof. Jonathan Bowen, Museophile Limited.
Last updated 8 April 2009.
Further information and links for possible inclusion are welcome.