CELTIQUE - 2013 - Annual activity report

CELTIQUE

CELTIQUE - 2013

Project-Team Celtique

Members

Overall Objectives

Project overview
Highlights of the Year

Research Program

Static program analysis
Software certification

Software and Platforms

Javalib
SAWJA
Jacal
Timbuk
JSCert

New Results

Information Flow Tracking
Towards efficient abstract domains for regular language based static analysis
Result Certification of Static Program Analysers with Automated Theorem Provers
Formal Semantics for Multi-threaded Java
Formal Verification of Static Analysis
Certified JavaScript Semantics
Concurrent Reversibility
Non linear analysis: fast inference of polynomial invariants

Bilateral Contracts and Grants with Industry

Bilateral Project with FIME

Partnerships and Cooperations

Regional Initiatives
National Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2013 Project-Team Activity Report

CELTIQUE

Software certification with semantic analysis

Research centre: Rennes - Bretagne-Atlantique

In partnership with: Université Rennes 1, Ecole normale supérieure de Cachan

In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification

Keywords: Programming Languages, Static Analysis, Abstract Interpretation, Security, Interactive Theorem Proving, Formal Methods