Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86060
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bartolo Burlò, Christian | - |
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Scalas, Alceste | - |
dc.date.accessioned | 2021-12-24T10:52:36Z | - |
dc.date.available | 2021-12-24T10:52:36Z | - |
dc.date.issued | 2020 | - |
dc.identifier.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. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/86060 | - |
dc.description.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). | en_GB |
dc.description.sponsorship | The research was partly supported by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement No. 778233. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer | en_GB |
dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Computer network protocols | en_GB |
dc.subject | Object monitors (Computer software) | en_GB |
dc.subject | Scala (Computer program language) | en_GB |
dc.title | Towards a hybrid verification methodology for communication protocols (short paper) | en_GB |
dc.title.alternative | Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science, vol 12136 | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | 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. | en_GB |
dc.bibliographicCitation.conferencename | 40th IFIP WG 6.1 International Conference, FORTE 2020 | en_GB |
dc.bibliographicCitation.conferenceplace | Valletta, Malta, 15-19/06/2020 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/978-3-030-50086-3_13 | - |
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.