Academic Journal
PSTMonitor : monitor synthesis from probabilistic session types
| Τίτλος: | PSTMonitor : monitor synthesis from probabilistic session types |
|---|---|
| Συγγραφείς: | Bartolo Burlò, Christian, Francalanza, Adrian, Scalas, Alceste, Trubiani, Catia, Tuosto, Emilio |
| Στοιχεία εκδότη: | Elsevier |
| Έτος έκδοσης: | 2022 |
| Συλλογή: | University of Malta: OAR@UM / L-Università ta' Malta |
| Θεματικοί όροι: | Computer programs -- Verification, Functional programming (Computer science), Probabilities -- Data processing, Computer programming |
| Περιγραφή: | 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 |
| Τύπος εγγράφου: | article in journal/newspaper |
| Γλώσσα: | 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 |
| Διαθεσιμότητα: | 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. |
| Αριθμός Καταχώρησης: | edsbas.988CD1C |
| Βάση Δεδομένων: | BASE |
| DOI: | 10.1016/j.scico.2022.102847 |
|---|