Document - An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam

2013

Contribution to book Restricted

An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam

Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G.

Groupware Model checking Verification Formal methods

In this chapter, we describe a general methodology for modeling and analyzing industrial software systems in their design phase, that is, prior to their implementation, by means of (stochastic) model checking.

Source: Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 179–203, 2013

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:207628,
	title = {An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam},
	author = {Ter Beek M. H. and Gnesi S. and Latella D. and Massink M. and Sebastianis M. and Trentanni G.},
	doi = {10.1002/9781118459898.ch9},
	booktitle = {Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 179–203, 2013},
	year = {2013}
}