EN FR
EN FR


2019 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.3. - Object-oriented programming
  • A2.1.4. - Functional programming
  • A2.1.12. - Dynamic languages
  • A2.2. - Compilation
  • A2.2.1. - Static analysis
  • A2.2.2. - Memory models
  • A2.2.3. - Memory management
  • A2.2.5. - Run-time systems
  • A2.2.9. - Security by compilation
  • A2.4. - Formal method for 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
  • A7.2.2. - Automated Theorem Proving
  • A7.2.3. - Interactive Theorem Proving
Other Research Topics and Application Domains:
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.4. - Internet of things
  • B6.6. - Embedded systems
  • B9.10. - Privacy