Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Research Program

Automated Reasoning

Permanent researchers: S. Conchon, É. Contejean, G. Melquiond, A. Paskevich

Generalities on Automated Reasoning

Quantifiers and Triggers

Reasoning Modulo Theories


Project-team Positioning

Automated Theorem Proving is a large community, but several sub-groups can be identified:

It should be noticed that a large number of provers mentioned above are connected to Why3 as back-ends.