Industrial-scale software verification
date : 2008/03/12
venue: Microsoft Research Ltd, Cambridge

selected page:

This two day workshop (12-13 March 2008) was organised in association with the GC6 network, which is sponsored by EPSRC to explore the contribution of the UK to the international verified software initiative. The workshop was supported by a contribution from Microsoft Research which provided the necessary premises and catering.

This two day workshop (12-13 March 2008) was organised in association with the GC6 network, which is sponsored by EPSRC to explore the contribution of the UK to the international verified software initiative. The workshop was supported by a contribution from Microsoft Research which provided the necessary premises and catering.

The purpose of the workshop was to elicit problems (suitable for release into the public domain) in a range of UK software engineering domains to provide a focus for the future development of tools for software verification.

The workshop was successful in that it collected together a range of academics from many institutions; it presented them with a selection of problems and generated new industrial-academic links. For a list of all participants please see the separate list.

As a result of this meeting two further meetings are planned. One is a meeting relating to tools used in software verification and it is expected that it will take place in Oxford during March 2009. The other meeting will relate to safety critical systems and it is hoped that this may be hosted by an industrial partner.

If you are interested in this initiative and wish to receive further details, please contact Tristram Armour.


related resources:
» Industrial-scale software verification
  Programme (day 1)
  Programme (day 2)
  Abstracts of workshop talks
 

[up to events section]