Probabilistic Model Checking of DTMC Models of User Activity Patterns

Oana Andrei, Muffy Calder, Matthew Higgs +1

Software developers cannot always anticipate how users will actually use their software as it may vary from user to user, and even from use to use for an individual user. In order…