  We present a tool-based approach for the runtime analysis of communicating
processes grounded on probabilistic binary session types. We synthesise a
monitor out of a probabilistic session type where each choice point is
decorated by a probability distribution. The monitor observes the execution of
a process, infers its probabilistic behaviour and issues warnings when the
observed behaviour deviates from the one specified by the probabilistic session
type.
