EN FR
EN FR


2017 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:
  • A2.1. - Programming Languages
  • A2.1.1. - Semantics of programming languages
  • A2.1.2. - Object-oriented programming
  • A2.1.3. - Functional programming
  • A2.1.9. - Dynamic languages
  • A2.2. - Compilation
  • A2.2.1. - Static analysis
  • A2.2.2. - Memory models
  • A2.4. - Verification, reliability, certification
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A4. - Security and privacy
  • A4.5. - Formal methods for security
Other Research Topics and Application Domains:
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.6. - Embedded systems