DocumentCode :
1603117
Title :
VSC 2015 Track Report: Validating Software for Critical Systems
Author :
Calvagna, Andrea ; Tramontana, Emiliano
fYear :
2015
Firstpage :
197
Lastpage :
197
Abstract :
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.
Keywords :
Automata; Committees; Context; Electronic publishing; Information services; Internet; Software;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2015 IEEE 24th International Conference on
Conference_Location :
Larnaca, Cyprus
Type :
conf
DOI :
10.1109/WETICE.2015.70
Filename :
7194359
Link To Document :
بازگشت