Formal Verification of Context Aware Systems

Fabio Alberto Schreiber, Maria Elena Valcher. Formal Verification of Context Aware Systems. In Maristella Agosti, Maurizio Atzori, Paolo Ciaccia, Letizia Tanca, editors, Proceedings of the 28th Italian Symposium on Advanced Database Systems, Villasimius, Sud Sardegna, Italy (virtual due to Covid-19 pandemic), June 21-24, 2020. Volume 2646 of CEUR Workshop Proceedings, pages 186-193, CEUR-WS.org, 2020. [doi]

Abstract

Abstract is missing.