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.