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