EN FR
EN FR
MARELLE - 2018
MARELLE - 2018
Project-Team Marelle
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Marelle
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


up Home | Next next


2018 Project-Team Activity Report
MARELLE
Mathematics, Reasoning, and Software
Research centre: Sophia Antipolis - Méditerranée


Field: Algorithmics, Programming, Software and Architecture

Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A2.1.11. - Proof languages
  • A2.4.3. - Proofs
  • A4.5. - Formal methods for security
  • A5.10.3. - Planning
  • A7.2. - Logic in Computer Science
  • A7.2.3. - Interactive Theorem Proving
  • A7.2.4. - Mechanized Formalization of Mathematics
  • A8.3. - Geometry, Topology
  • A8.4. - Computer Algebra
  • A8.10. - Computer arithmetic
Other Research Topics and Application Domains:
  • B6.1. - Software industry
  • B9.5.1. - Computer science
  • B9.5.2. - Mathematics