Using LiSA for analyzing an IoT network
Venice, Italy (Virtual talk), June 15, 2022, 2:30 PM - 3:00 PM CEST
Seminar
Abstract
In this talk, we show how the LiSA framework can be instantiated to tackle a demonstrative IoT application where more than one programming language. The application was subject of a published paper where its static analysis was performed using a combination of separate tools, which tend to be inefficient. Instead, LiSA enables the analysis of the application as a whole, also considering cross-language interactions, to prove semantic properties of the whole system.