Home
2018 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)
In collaboration with: Laboratoire d'Informatique de Grenoble (LIG)
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.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
- B8.1. - Smart building/home