Practical application of probabilistic model checking to communication protocols

Abstract

Authors

Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston

Where

Formal methods for industrial critical systems: A survey of applications

Place

Paper

duflot.13.book.pdf

Date

2013-01-01