%0 Conference Proceedings
%T Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
%+ University of Malta [Malta]
%+ Aston University [Birmingham]
%A Bartolo Burlò, Christian
%A Francalanza, Adrian
%A Scalas, Alceste
%Z Part 3: Short Paper
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Valletta, Malta
%Y Alexey Gotsman
%Y Ana Sokolova
%I Springer International Publishing
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-12136
%P 227-235
%8 2020-06-15
%D 2020
%R 10.1007/978-3-030-50086-3_13
%K Session types
%K Static and dynamic verification
%K Monitors
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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).
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03283237/document
%2 https://inria.hal.science/hal-03283237/file/495615_1_En_13_Chapter.pdf
%L hal-03283237
%U https://inria.hal.science/hal-03283237
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-12136