论文标题
pstmonitor：监视概率会话类型的合成
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
论文作者
论文摘要
我们提出了PSTNOTOR，这是一种基于概率会话类型的量化应用程序定量规范的运行时间验证的工具。 PstMonitor的关键要素是检测偏离预期概率行为的执行。除了呈现Pstmonitor及其操作外，该论文还根据其引起的运行时开销来分析其可行性。
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.
