Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

  • Program: FP7-PEOPLE-2011-IRSES

  • Project acronym: MEALS

  • Project title: Mobility between Europe and Argentina applying Logic to Systems

  • Duration: October 2011 - September 2015

  • URL: http://www.meals-project.eu/

  • Coordinator: Holger Hermans, Saarland University, Germany

  • Coordinator for the Inria sites: Catuscia Palamidessi, Inria Saclay

  • Other partner institutions: Rheinisch-Westfälische Technische Hochschule Aachen, Germany. Technische Universität Dresden, Germany. Inria, France. Imperial College of Science, Technology and Medicine, UK, University of Leicester, UK. Technische Universiteit Eindhoven, NL. Universidad Nacional de Cordoba, AR. Universidad de Buenos Aires, AR. Instituto Tecnologico de Buenos Aires, AR. Universidad Nacional de Rio Cuarto, AR.

  • Abstract: In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behavior and quantitative behavior (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies).