| BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP |
|
|
Formal Aspects of Computing Science
BCS-FACS Christmas Meeting
The Verified Software Repository
21 December 2004BCS London Offices
First Floor, The Davidson Building
|
|
The vision of the Grand Challenge project in Dependable Systems Evolution
is to make possible computer systems that are dependable and trustworthy
throughout their lifespan. A piece of technology which would contribute to
realising this vision is the Verifying Compiler, a tool that automatically
proves that a program is correct before allowing it to run. The Verifying
Compiler is an outstanding challenge in Computer Science that goes back
more than thirty years.
A step towards developing the Verifying Compiler is to facilitate the use of verification tools, and thereby encourage their development, by lowering the expertise threshold required to try them out. The aim of this workshop is to bring together developers and users of formal software engineering tools with the intention of establishing a repository of verification tools and challenge codes for them, so as to progress the development of technology contributing to the Verifying Complier and thus accelerate progress towards the Grand Challenge in Dependable Systems Evolution. The event is organized by Juan Bicarregui and Jim Woodcock (Programme Co-Chairs), and Jonathan Bowen and Paul Boca (Organizational Co-Chairs) with advice from Tony Hoare, the Grand Challenges Chair. Speakers include:
For further information, see State of the Challenge - GC6: Dependable Systems Evolution (written May 2004) and The Verified Software Repository: a step towards the Verifying Compiler (draft written December 2004). See photographs by Pierre-Yves Schobbens.
|
| The event is sponsored by |
 DIRC EPSRC-funded Dependability IRC |
 |
 |
| Formal Aspects of Computing Science |
|
Copyright © BCS-FACS |
