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


D-MILS Partners









© 2024   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service