All News Items Tagged 'verification' (1)
| News Items | Replies | Latest Activity |
|---|---|---|
Paper on compositional verification presented at TACAS 2014The 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 |
Welcome to
D-MILS Project Website
D-MILS Partners
© 2024 Created by Scott Hansen.
Powered by
