Published June 8, 2020
| Version v1
Conference paper
Open
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)
- 1. University of Malta, Msida, Malta
- 2. Aston University, Birmingham, UK
Description
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).
Files
BartoloBurlò2020_Chapter_TowardsAHybridVerificationMeth.pdf
Files
(443.2 kB)
Name | Size | Download all |
---|---|---|
md5:ed49a9755572cbfeca4375fcd7f6ea6a
|
443.2 kB | Preview Download |