VSC 2015 Track Report: Validating Software for Critical Systems

This report provides an introduction to the papers accepted for the VSC track at IEEE WETICE 2015, held in Larnaca Cyprus, from June 15th to 17th, 2015. The VSC track is the third IEEE WETICE event dedicated to systems validation techniques in the context of safety critical applications. Along the previous years the VSC track has provided reasearchers with a venue oriented to exchange results and ideas on the general context of software verification. Some papers have addressed issues related to hardware and software verification. This year we have received a significant number of contributions under the general theme of the track and for ensuring a high quality, by means of an independent reviewing process, we have selected three contributions for the presentation at the VSC track 2015. We thank all the anonymous reviewers and the programme committee members for their dedicated work. We express our gratitude to the WETICE General Chair, Program Chairs and Steering Committee for the opportunity given us to contribute with the VSC track to the lively and friendly research forum provided by the WETICE community.