Page
%P
-
Chapter and Conference Paper
Parameterized Verification of Track Topology Aggregation Protocols
We present an approach for the verification aggregation protocols, which may be used to perform critical tasks and thus should be verified. We formalize the class of track topology aggregation protocols and pr...