Track Report for Formal Verification of Service Based Systems: FVSBS 2016

Abstract

This report gives a brief overview of the main concerns addressed by the authors at the fourth international track on Formal Verification of Service Based Systems, held at WETICE 2016 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported.