1. OAR@UM
  2. Faculty of Information and Communication Technology
  3. Department of Computer Science
  4. Scholarly Works - FacICTCS
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 FieldValueLanguage
dc.contributor.authorBartolo Burlò, Christian-
dc.contributor.authorFrancalanza, Adrian-
dc.contributor.authorScalas, Alceste-
dc.date.accessioned2021-12-24T10:52:36Z-
dc.date.available2021-12-24T10:52:36Z-
dc.date.issued2020-
dc.identifier.citationBartolo 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.urihttps://www.um.edu.mt/library/oar/handle/123456789/86060-
dc.description.abstractWe 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.sponsorshipThe research was partly supported by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement No. 778233.en_GB
dc.language.isoenen_GB
dc.publisherSpringeren_GB
dc.rightsinfo:eu-repo/semantics/restrictedAccessen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectComputer network protocolsen_GB
dc.subjectObject monitors (Computer software)en_GB
dc.subjectScala (Computer program language)en_GB
dc.titleTowards a hybrid verification methodology for communication protocols (short paper)en_GB
dc.title.alternativeFormal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science, vol 12136en_GB
dc.typeconferenceObjecten_GB
dc.rights.holderThe 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.conferencename40th IFIP WG 6.1 International Conference, FORTE 2020en_GB
dc.bibliographicCitation.conferenceplaceValletta, Malta, 15-19/06/2020en_GB
dc.description.reviewedpeer-revieweden_GB
dc.identifier.doi10.1007/978-3-030-50086-3_13-
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Towards a Hybrid Verification Methodology.pdf
  Restricted Access		466.17 kBAdobe PDFView/Open Request a copy
Show simple item record Statistics


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.