Periodic Reporting for period 4 - SYMBIOSYS (Symbolic Analysis of Temporal and Functional Behavior of Networked Systems)

The goal of SYMBIOSYS is to achieve reliability and interoperability of networked (software) systems, a crucial requirement in today’s networked information society. To this end, we devise a software and systems analysis methodology that – for the first time – considers...