Overview

Software is not static. It keeps growing, gradually becomes more complex, but reuses most of code from previous versions. Formal verification could mirror the software development process, and the tools could take advantage of the efforts already invested in the verification of preceding software versions. This workshop focuses on making formal methods practical and their efforts reusable in various stages of software development. Our ultimate goal is to bring together researchers in formal methods to ultimately make the process of software development efficient and the software product trustworthy.

News

• Program is announced! Workshop will be held in the AMFITRION II room.


• Michael Tautschnig (Amazon Web Services) will give a talk.
• Peter Schrammel (Diffblue) will give a talk.
• Michael W. Whalen (University of Minnesota) will give a talk.
• Mattias Ulbrich (Karlsruhe Institute of Technology) will give a talk.
• Subhajit Roy (Indian Institute of Technology Kanpur) will give a talk.
• Mark Santolucito (Yale University) will give a talk.
• Julia Rubin (University of British Columbia) will give a talk.
• Michael Emmi (SRI International) will give a talk.

Concept

This year the VSSE workshop consists solely of invited talks which present recent results in incremental verification, relational verification, regression verification, program equivalence, program repair, and the adjacent areas. VSSE will take place as part of the 28th European Joint Conferences on Theory and Practice of Software (ETAPS) in Thessaloniki, Greece. ETAPS is the primary European forum for academic and industrial researchers working on topics related to Software Science.

Call for Participation

Follow the registration steps of ETAPS.

• Early registration: March 16, 2018
• Late registration: March 17 - April 13, 2018
• On-site registration: from April 14, 2018

Organization

Grigory Fedyukovich (Princeton University, USA).