Project-Team Veridis
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
VERIDIS
Modeling and Verification of Distributed Algorithms and Systems
Research centre: Nancy - Grand Est
In partnership with: CNRS, Max-Planck-Institut für Informatik Saarbrücken, Université de Lorraine
In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture
Theme: Proofs and Verification
Keywords:
Computer Science and Digital Science:
  • A2.1.7. - Distributed programming
  • A2.1.11. - Proof languages
  • A2.4. - Formal method for verification, reliability, certification
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A2.5. - Software engineering
  • A7.2. - Logic in Computer Science
  • A8.4. - Computer Algebra
Other Research Topics and Application Domains:
  • B6.1. - Software industry
  • B6.1.1. - Software engineering
  • B6.3.2. - Network protocols
  • B6.6. - Embedded systems