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 presented at TACAS 2014, in Grenoble, France.  The paper presents a novel method for obtaining invariants for timed systems by combining local invariants, computed locally from components, with global invariants, derived from the composition glue.  The method is fully compositional and avoid the well known state explosion problem in verification.  See more details in the full paper.

Views: 288

Reply to This

D-MILS Partners









© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service