Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/131467| Title: | PSTMonitor : monitor synthesis from probabilistic session types |
| Authors: | Bartolo Burlò, Christian Francalanza, Adrian Scalas, Alceste Trubiani, Catia Tuosto, Emilio |
| Keywords: | Computer programs -- Verification Functional programming (Computer science) Probabilities -- Data processing Computer programming |
| Issue Date: | 2022 |
| Publisher: | Elsevier |
| Citation: | Bartolo Burlò, C., Francalanza, A., Scalas, A., Trubiani, C., & Tuosto, E. (2022). PSTMonitor: Monitor synthesis from probabilistic session types. Science of Computer Programming, 222, 102847. |
| 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. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/131467 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| PSTMonitor monitor synthesis from probabilistic session types 2022.pdf Restricted Access | 423.3 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.