An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
Chapter
Publication Date:
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.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Groupware; Formal methods; Verification; Model checking
List of contributors:
Gnesi, Stefania; Massink, Mieke; TER BEEK, MAURICE HENRI; Trentanni, Gianluca; Latella, Diego
Book title:
Formal Methods for Industrial Critical Systems: A Survey of Applications