Title of paper: An Application of Stochastic Model Checking in the Industry: User-centered Modeling and Analysis of Collaboration in thinkteam


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.

1 thinkteam is a registered trademark of think3, Inc. For details: http://www.think3.com.