VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

Overview

  • ID: https://ror.org/0440j7g03
  • ATR ID: 0440j7g03
  • ATR Label: VERIDIS: Modeling and Verification of Distributed Algorithms and Systems
  • Status: active
  • Established: 2012
  • Types: facility

Locations

  • Villers-lès-Nancy, Grand Est, France
    • GeoNames ID: 2968368
    • Coordinates: 48.67333, 6.15283

Names

  • VERIDIS (acronym)
  • VERIDIS: Modeling and Verification of Distributed Algorithms and Systems (label, ror_display, en)

External IDs

No external ids listed.

Domains

  • team.inria.fr

Relationships

  • parent: Centre Inria de l'UniversitĂ© de Lorraine
    • https://ror.org/03fcjvn64
  • parent: Laboratoire Lorrain de Recherche en Informatique et ses Applications
    • https://ror.org/02vnf0c38

Administrative Information

  • Created: 2025-09-19 (schema 2.1)
  • Last modified: 2026-01-15 (schema 2.1)

Website test

{
  "website": {
    "ping": {
      "tested_url": "https://team.inria.fr/veridis",
      "http_code": 200,
      "message": "[25983] (200) ",
      "datetime": "2026-06-26 13:39:54",
      "elapsed": 0.8981499671936035
    }
  }
}

ATR includes organizational metadata sourced from the Research Organization Registry (ROR). ROR data is provided under the terms and conditions defined by the ROR project. ATR independently aggregates, processes, and presents this information and is not affiliated with or endorsed by ROR.