''Focus Sciences'' sur le projet ANR-NARCO

Le blog Focus Sciences du CNRS consacre un article, « L’art de modéliser des systèmes informatiques complexes », au projet ANR NARCO (Non-Aggregative Resource COmpositions). Ce projet développe de nouvelles approches logiques pour modéliser et vérifier des systèmes informatiques complexes, en tenant compte des interactions réelles entre leurs composants : partage, dépendances et coordination. Au LMF, Mihaela Sighireanu pilote la contribution du laboratoire, centrée sur des techniques de vérification fondées sur des logiques de séparation étendues. Cette approche vise une analyse à la fois plus expressive et plus automatisable des systèmes en évolution. Pour en savoir plus, consultez la présentation du projet et les sites de ses partenaires : LIG, VERIMAG et LORIA.