PSTMonitor: Monitor synthesis from probabilistic session types
2022
We present , a tool for the run-time verification of quantitative specifications of message-passing applications, based on probabilistic session types. The key element of is the detection of executions that deviate from expected probabilistic behaviour. Besides presenting and its operation, the paper analyses its feasibility in terms of the runtime overheads it induces.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI