Home » Authors » Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Public reference bibliography and cataloged PDF materials authored or published by Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas.

Found 1 document(s) Page 1 of 1

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

Year: 2020 • Source: hal.science • Listed PDF

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