Home
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)
In collaboration with: Institut de recherche en informatique et systèmes aléatoires (IRISA)
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