Paper on secBIP, a framework to study information flow security in component-based systems

The paper "Model-driven Information Flow Security for Component-Based Systems" by UJV/Verimag team members Najah Ben Said, Saddek Bensalem, Marius Bozga in collaboration with Takoua Abdellatif from…Continue

Started Apr 14, 2014

Paper on compositional verification presented at TACAS 2014

The paper "Compositional Invariant Generation for Timed Systems" by UJF/Verimag team members Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga and Jacques Combaz has been…Continue

Tags: verification, compositional

Started Apr 14, 2014