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
XML PDF e-pub
PDF e-Pub

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