Section: Overall Objectives

Overall Objectives

The PAREO team aims at designing and implementing tools for the specification, analysis and verification of software and systems. At the heart of our project is therefore the will to study fundamental aspects of programming languages (logic, semantics, algorithmic, etc.) and to make major contributions to the design of new programming languages. An important part of our research effort will be dedicated to the design of new fundamental concepts and tools to analyze existing programs and systems. To achieve this goal we focus on:

• the improvement of theoretical foundations of rewriting and deduction;

• the integration of the corresponding formal methods in programming and verification environments;

• the practical applications of the proposed formalisms.