Academic Journal
PSTMonitor : monitor synthesis from probabilistic session types
| Title: | PSTMonitor : monitor synthesis from probabilistic session types |
|---|---|
| Authors: | Bartolo Burlò, Christian, Francalanza, Adrian, Scalas, Alceste, Trubiani, Catia, Tuosto, Emilio |
| Publisher Information: | Elsevier |
| Publication Year: | 2022 |
| Collection: | University of Malta: OAR@UM / L-Università ta' Malta |
| Subject Terms: | Computer programs -- Verification, Functional programming (Computer science), Probabilities -- Data processing, Computer programming |
| 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. ; peer-reviewed |
| Document Type: | article in journal/newspaper |
| Language: | English |
| Relation: | 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.; https://www.um.edu.mt/library/oar/handle/123456789/131467 |
| DOI: | 10.1016/j.scico.2022.102847 |
| Availability: | https://www.um.edu.mt/library/oar/handle/123456789/131467 https://doi.org/10.1016/j.scico.2022.102847 |
| Rights: | info:eu-repo/semantics/restrictedAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. |
| Accession Number: | edsbas.988CD1C |
| Database: | BASE |
| DOI: | 10.1016/j.scico.2022.102847 |
|---|