Project-Team Convecs
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

up Home | Next next

2019 Project-Team Activity Report
CONVECS
Construction of verified concurrent systems
Research centre: Grenoble - Rhône-Alpes
In partnership with: Institut polytechnique de Grenoble, Université Joseph Fourier (Grenoble)
In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A1.3. - Distributed Systems
  • A1.3.5. - Cloud
  • A1.3.6. - Fog, Edge
  • A2.1.1. - Semantics of programming languages
  • A2.1.6. - Concurrent programming
  • A2.1.7. - Distributed programming
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A2.5. - Software engineering
  • A2.5.1. - Software Architecture & Design
  • A2.5.4. - Software Maintenance & Evolution
  • A2.5.5. - Software testing
  • A7.1.1. - Distributed algorithms
  • A7.1.3. - Graph algorithms
  • A7.2. - Logic in Computer Science
  • A8.9. - Performance evaluation
Other Research Topics and Application Domains:
  • B6.1.1. - Software engineering
  • B6.3.2. - Network protocols
  • B6.4. - Internet of things
  • B6.6. - Embedded systems
  • B7.2.1. - Smart vehicles
  • B8.1. - Smart building/home