Inria
/
Raweb 2006
Presentation of the Team Parsifal
Logo Inria
Parsifal
Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Proof search
Reasoning about logic specifications
A type theory for proof search
Application Domains
Model checking operational semantics
Mechanized metatheory
Software
Bedwyr
New Results
Static analysis via proof theory
Reasoning about operational semantics
Effective implementation of module checking with linguistic expressions
Structure and semantics of proofs
Proof theory approaches to induction
Other Grants and Activities
Actions nationales
Actions internationales
Dissemination
Services to the Scientific Community
Teaching
Popular writing
Internship supervision
Bibliography
Major publications
Publications of the year
References in notes
