An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
Capitolo di libro
Data di Pubblicazione:
2013
Abstract:
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.
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Groupware; Formal methods; Verification; Model checking
Elenco autori:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Trentanni, Gianluca; Latella, Diego
Link alla scheda completa:
Titolo del libro:
Formal Methods for Industrial Critical Systems: A Survey of Applications