FMnet

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)

Events[edit | edit source]

See GC6 proposal mailing list.

Further information[edit | edit source]


BCS-FACS

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.

Community content is available under CC-BY-SA unless otherwise noted.