Document - Sensoria - Manual for using the UMC model of the finance case study

2010

Report Open Access

Sensoria - Manual for using the UMC model of the finance case study

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 credit request scenario of SENSORIA's Finance case study, described in detail in [BM10], and verify properties formulated in the service-oriented temporal logic SocL.

Source: Project report, SENSORIA, 2010

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:161225,
	title = {Sensoria - Manual for using the UMC model of the finance case study},
	author = {Ter Beek M. and Mazzanti F.},
	institution = {Project report, SENSORIA, 2010},
	year = {2010}
}