IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "How far is your program from mine?"

by Michele Loreti

Tue, 14 January 2020 at 02:40 pm in Massa Marittima, Italy

Joint work with: Valentina Castiglioni, Simone Tini

Abstract: In this talk I will present you a recent work that aims to "measure" the distanced between programs controlling data. The proposed distance will be also used to study "good properties" of programs and as a tool for verifying expected behaviours.