PSTMonitor：基于概率会话类型的监视器合成
编程语言
2022-12-16 v2
摘要
我们提出 PSTMonitor，一个用于基于概率会话类型对消息传递应用的定量规约进行运行时验证的工具。PSTMonitor 的关键要素是检测偏离预期概率行为的执行。除了介绍 PSTMonitor 及其运行外，本文还从其所引发的运行时开销角度分析了其可行性。
引用
@article{arxiv.2212.07329,
title = {PSTMonitor: Monitor Synthesis from Probabilistic Session Types},
author = {Christian Bartolo Burlò and Adrian Francalanza and Alceste Scalas and Catia Trubiani and Emilio Tuosto},
journal= {arXiv preprint arXiv:2212.07329},
year = {2022}
}
备注
SI: Special Issue on Selected Tool Papers of the 22nd and 23rd International Conference on Coordination Models and Languages, COORDINATION 2020 and 2021