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.




LAAS-CNRS SEE-AICA-GI NoE ReSIST Departement Haute-Garonne Region Midi-Pyrenees UPS GDR GPL