FVSBS 2015 Track Report: Formal Verification of Service Based Systems
Mohamed Graïet, Kaïs Klai · 2015
This report gives a brief overview of the main concerns addressed by the authors at the third international track on Formal Verification of Service Based Systems, held at WETICE 2015 conference. A presentation of the main topics is given and then a summary of the paper accepted by this conference track is reported.