Ter Beek M., Mazzanti F.
Software/Program Verification. Model Checking Service-Oriented Computing Model checking
We show how to use a UMC model of the on road assistance scenario of SENSORIA's Automotive case study, described in [BGKM08], and verify properties formulated in the service-oriented temporal logic SocL.
Source: Project report, SENSORIA, 2010
@techreport{oai:it.cnr:prodotti:161192, title = {Sensoria - Manual for using the UMC model of the automotive case study}, author = {Ter Beek M. and Mazzanti F.}, institution = {Project report, SENSORIA, 2010}, year = {2010} }
SENSORIA
Software Engineering for Service-Oriented Overlay Computers