On Friday 30 November 2012, 14:00-14:30 INRIA Lille room B31 (new building), Daniel Le Berre (Université d’Artois ) will give a talk on “Des problèmes en variables booléennes à la gestion des dépendances entre logiciels” Abstract: Depuis une dizaine d’année, le nombre d’applications des outils basés sur la satisfiabilité de formules booléennes (SAT) ne …
November 2012 archive
Code Generation for Reactive Systems
On Wednesday 28 November 2012, 10:00-10:30 INRIA Lille room B31 (new building), Nestor Catano (The University of Madeira) will give a talk on “Code Generation for Reactive Systems” Abstract: Event-B provides a formal language notation for the modelling and development of Reactive Systems. The notation is supported by the Rodin platform, an open-source Eclipse IDE …