2016 Project-Team Activity Report

MARELLE

Mathematical, Reasoning and Software

Research centre:
Sophia Antipolis - Méditerranée

Keywords:

Computer Science and Digital Science:

- 2.1.11. - Proof languages
- 2.4.3. - Proofs
- 4.5. - Formal methods for security
- 5.10.1. - Design
- 7.4. - Logic in Computer Science
- 7.6. - Computer Algebra
- 7.12. - Computer arithmetic

Other Research Topics and Application Domains:

- 6.1. - Software industry
- 9.4.1. - Computer science
- 9.4.2. - Mathematics