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