PyLTA: A Verification Tool for Parameterized Distributed Algorithms
Abstract
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.
Domains
Computer Science [cs]| Origin | Files produced by the author(s) |
|---|
