Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper) - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2020

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

Christian Bartolo Burlò
  • Function : Author
  • PersonId : 1104892
Adrian Francalanza
  • Function : Author
  • PersonId : 1024624
Alceste Scalas
  • Function : Author
  • PersonId : 1104893

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).
Fichier principal
Vignette du fichier
495615_1_En_13_Chapter.pdf (332.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03283237 , version 1 (09-07-2021)

Licence

Attribution

Identifiers

Cite

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas. Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.227-235, ⟨10.1007/978-3-030-50086-3_13⟩. ⟨hal-03283237⟩
35 View
13 Download

Altmetric

Share

Gmail Facebook X LinkedIn More