Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86060| Title: | Towards a hybrid verification methodology for communication protocols (short paper) |
| Other Titles: | Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science, vol 12136 |
| Authors: | Bartolo Burlò, Christian Francalanza, Adrian Scalas, Alceste |
| Keywords: | Computer software -- Verification Computer network protocols Object monitors (Computer software) Scala (Computer program language) |
| Issue Date: | 2020 |
| Publisher: | Springer |
| Citation: | Bartolo Burlò, C., Francalanza, A., & Scalas, A. (2020). Towards a hybrid verification methodology for communication protocols (short paper). 40th IFIP WG 6.1 International Conference, FORTE 2020, Valletta. 227-235. |
| Abstract: | We present our preliminary work towards a comprehensive solution for the hybrid (static + dynamic) verification of open distributed systems, using session types. We automate a solution for binary sessions where one endpoint is statically checked, and the other endpoint is dynamically checked by a monitor acting as an intermediary between typed and untyped components. We outline our theory, and illustrate a tool that automatically synthesises type-checked session monitors, based on the Scala language and its session programming library (lchannels). |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/86060 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Towards a Hybrid Verification Methodology.pdf Restricted Access | 466.17 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.