Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)

The First International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) was held in Vienna, Austria, on July 4, 2016. The aim of the workshop is to counteract the specialization of traditional venues by bringing together researchers and practitioners from different areas concerning software verification and composition, to fill the gap between the requirements of modern applications and current verification and composition methods. In particular, VeryComp 2016 aimed at attracting contributions related to the subject at different levels, from modeling to verification and analysis, from componentization to composition. The workshop constituted a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations. After a careful review process, the Program Committee accepted four papers. Several people contributed to the success of VeryComp 2016. We would like to thank the STAF 2016 Workshops organizers as well as the general chair. We would also like to thank the Program Committee for their work in reviewing the papers. The process of reviewing and selecting papers was significantly simplified through using EasyChair. We thank all the workshop attendees and hope that this event facilitated a good exchange of ideas and new collaborations among attendees. The organization of VeryComp 2016 was partially supported by the H2020 EU project CHOReVOLUTION.