-
Home
Special theme: Software Verification and Assessment
EWDC is intended to serve as a biennial forum of discussion for
European researchers and practitioners, alternatively with the
EDCC
(European Dependable Computing Conference) conference.
The 2009 issue of EWDC focuses on software verification and assessment,
which encompasses all activities to provide evidence of the
dependability and security of software artefacts. Twenty-four regular
and short papers were accepted for presentation at the workshop, with
authors originating from 12 European countries.
The workshop program features 7 technical sessions:
- Formal analysis of code or models
- Validation of web services
- Testing
- Fault injection
- Experience reports
- Fault tolerance
- Rigourous development
For more information about this workshop, please download the
Front
Matter.