Published 2022
| Version v1
Conference paper
Open
PSTMonitor: Monitor Synthesis from Probabilistic Session Types
Description
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.
Files
PSTMonitor- Monitor synthesis from probabilistic session types.pdf
Files
(460.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:ad9fbb1d8ea14a2bb4d74a38854e69de
|
460.2 kB | Preview Download |