PyLTA: A Verification Tool for Parameterized Distributed Algorithms - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

PyLTA: A Verification Tool for Parameterized Distributed Algorithms

Résumé

We present the tool PyLTA, which can model check parameterized distributed algorithms against LTL specifications. The parameters typically include the number of processes and a bound on faulty processes, and the considered algorithms are round-based and either synchronous or asynchronous.
Fichier principal
Vignette du fichier
main.pdf (318.5 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03996060 , version 1 (19-02-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-03996060 , version 1

Citer

Bastien Thomas, Ocan Sankur. PyLTA: A Verification Tool for Parameterized Distributed Algorithms. TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2023, Paris, France. pp.28-35. ⟨hal-03996060⟩
67 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More