Project-Team Veridis
Personnel
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

2017 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 de 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. - Verification, reliability, certification
  • A2.4.1. - Analysis
  • A2.4.2. - Model-checking
  • A2.4.3. - Proofs
  • A7.2. - Logic in Computer Science
  • A8.4. - Computer Algebra
Other Research Topics and Application Domains:
  • B6.1. - Software industry
  • B6.3.2. - Network protocols
  • B6.6. - Embedded systems