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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)