EN FR
EN FR
PARSIFAL - 2019
PARSIFAL - 2019
Project-Team Parsifal
Team, Visitors, External Collaborators
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
Dissemination
Bibliography
Project-Team Parsifal
Team, Visitors, External Collaborators
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
Dissemination
Bibliography


up Home | Next next


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)



Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
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