CNRS Focus on the ANR-NARCO project

The CNRS blog Focus Sciences recently published an article, “The art of modelling complex computing systems”, featuring the work of the ANR project NARCO (Non-Aggregative Resource COmpositions). The project explores new logic-based methods to model and verify complex computing systems by capturing the real interactions—sharing, dependencies and coordination—between their components. At LMF, Mihaela Sighireanu leads the lab’s contribution, focusing on verification techniques grounded in extended separation logics. This approach promises more expressive yet automatable analyses of evolving systems. Learn more on the project presentation and discover its partners: LIG, VERIMAG and LORIA.