Track Report of Formal Verification of Service Based Systems (FVSBS 2014)

@article{Graiet2014TrackRO,
  title={Track Report of Formal Verification of Service Based Systems (FVSBS 2014)},
  author={Mohamed Graiet and Zied Jaoua and Kais Klai},
  journal={2014 IEEE 23rd International WETICE Conference},
  year={2014},
  pages={312-312}
}
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.