PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M., Mazzanti F. Sensoria - Manual for using the UMC model of the automotive case study. Software Engineering for Service-Oriented Overlay Computers. Project report FP6-IP-IST-016004-AUT, 2010.
 
 
Abstract
(English)
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.
Subject Service-Oriented Computing
Model checking
D.2.4 Software/Program Verification. Model Checking


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional