We present PSTMonitor, a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of PSTMonitor is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting PSTMonitor and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces.

翻译：我们介绍了PSTMonitor,这是根据概率会话类型对电文传递应用的定量规格进行运行时间核查的工具;PSTMonitor的关键要素是发现偏离预期概率行为的处决;除了介绍PSTMonitor及其运作外,该文件还从它引起的运行时间间接费用的角度分析了其可行性。