Local Reasoning about Parametric and Reconfigurable Component-based Systems
Facultatea de Matematica si Informatica, sala GoogleSpeaker: Radu Iosif (CNRS - VERIMAG, France) Abstract: We introduce a logical framework for the specification and verification of component-based systems, in which finitely many component instances are active, but …