2019 Project-Team Activity Report

PARSIFAL

Proof search and reasoning with logic specifications

Research centre:
Saclay - Île-de-France

In partnership with: CNRS, Ecole Polytechnique

In collaboration with: Laboratoire d'informatique de l'école polytechnique (LIX)

In collaboration with: Laboratoire d'informatique de l'école polytechnique (LIX)

Keywords:

Computer Science and Digital Science:

- A2.1. - Programming Languages
- A2.1.1. - Semantics of programming languages
- A2.1.4. - Functional programming
- A2.1.5. - Constraint programming
- A2.1.10. - Domain-specific languages
- A2.2.1. - Static analysis
- A2.4.3. - Proofs
- A2.5.4. - Software Maintenance & Evolution
- A7.2.1. - Decision procedures
- A7.2.2. - Automated Theorem Proving
- A7.2.3. - Interactive Theorem Proving
- A7.3.1. - Computational models and calculability
- A9.8. - Reasoning

Other Research Topics and Application Domains:

- B9.5.1. - Computer science
- B9.5.2. - Mathematics
- B9.8. - Reproducibility