EN FR
EN FR


up Home | Next next


2016 Project-Team Activity Report
CELTIQUE
Software certification with semantic analysis
Research centre: Rennes - Bretagne-Atlantique
In partnership with: Université Rennes 1, École normale supérieure de Rennes

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:
Computer Science and Digital Science:
  • 2.1. - Programming Languages
  • 2.1.1. - Semantics of programming languages
  • 2.1.2. - Object-oriented programming
  • 2.1.3. - Functional programming
  • 2.1.9. - Dynamic languages
  • 2.2. - Compilation
  • 2.2.1. - Static analysis
  • 2.2.2. - Memory models
  • 2.4. - Verification, reliability, certification
  • 2.4.1. - Analysis
  • 2.4.2. - Model-checking
  • 2.4.3. - Proofs
  • 4. - Security and privacy
  • 4.5. - Formal methods for security
Other Research Topics and Application Domains:
  • 6.1. - Software industry
  • 6.1.1. - Software engineering
  • 6.6. - Embedded systems