Fandom

Formal Methods Wiki

GC6

120pages on
this wiki
Add New Page
Talk0 Share
Fmnet-logo

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

See GC6 proposal mailing list.

Further information Edit


FACSLogo

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.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.