All News Items Tagged 'compositional' (1)

News Items Replies Latest Activity

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, Sad…

Started by Marius Bozga

0 Apr 14, 2014

RSS

D-MILS Partners

 

 

 

 

 

 

 

 

© 2019   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service