Local Reasoning about Reconfigurable Component-based Systems

Master level, 6 months

The goal of this internship is the study of logics for the design and verification of complex component-based distributed applications, using the principles of locality (the ability to describe the effect of an update only from the parts involved while gnoring the ones unchanged) and compositionality (the ability to join the results of local analyses into a global condition capturing the correctness requirement for the entire system). During this internship, the candidate will aquire command of advanced theoretical notions of logics and system verification. The internship comprises theoretical as well as implementation work.

Voir en ligne : detailed description

Contact | Plan du site | Site réalisé avec SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1684345