Inria
/
Raweb 2009
Presentation of the Project Cassis
Logo Inria
Cassis
Combining approaches for the security of infinite state systems
2009 Research Team Activity Report
Nancy - Grand Est
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Background
Context
Challenge
Highlights
Scientific Foundations
Introduction
Automated Deduction
Synthesizing and Solving Set Constraints
Rewriting-based Safety Checking
Application Domains
Verification of Security Protocols
Automated Boundary Testing from Formal Specifications
Program Debugging and Verification
Towards New Application Domains
Software
Protocols Verification Tools
Testing Tools
Others Tools
New Results
Automated Deduction
Security Protocol Verification
Model-based Verification
Model-based Testing
Verification for Service Oriented Computing
Contracts and Grants with Industry
Research Result Transfer
European Projects
INTERREG
Other Grants and Activities
International Grants
National Grants
International Collaborations
Individual Involvement
Visits of Foreign Researchers
Visits of Team Members
Dissemination
Ph. D. Theses
Habilitation Theses
Committees
Seminars, Workshops, and Conferences
Bibliography
Major publications
Publications of the year
References in notes