PSTMonitor: Monitor Synthesis from Probabilistic Session Types
Programming Languages
2022-12-16 v2
Abstract
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.
Keywords
Cite
@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}
}
Comments
SI: Special Issue on Selected Tool Papers of the 22nd and 23rd International Conference on Coordination Models and Languages, COORDINATION 2020 and 2021