Project-Team:PARSIFAL

Project Team Parsifal

Overall Objectives

Scientific Foundations

Application Domains

Software

New Results

Partnerships and Cooperations

Dissemination

Bibliography

Inria | Raweb 2011 | Presentation of the Project-Team PARSIFAL

PDF

e-pub

XML

Home | Next next

next

2011 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: Programs, Verification and Proofs

Keywords: Proof Theory, Automated Theorem Proving, Programming Languages, Logics