Towards a hybrid verification methodology for communication protocols (short paper)

Christian Bartolo Burlò*, Adrian Francalanza, Alceste Scalas

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference publication

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).

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings
EditorsAlexey Gotsman, Ana Sokolova
Pages227-235
Number of pages9
DOIs
Publication statusPublished - 8 Jun 2020
Event40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020 - Valletta, Malta
Duration: 15 Jun 202019 Jun 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12136 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020
CountryMalta
CityValletta
Period15/06/2019/06/20

Bibliographical note

© IFIP International Federation for Information Processing 2020

Keywords

  • Monitors
  • Session types
  • Static and dynamic verification

Fingerprint Dive into the research topics of 'Towards a hybrid verification methodology for communication protocols (short paper)'. Together they form a unique fingerprint.

Cite this