First Workshop on Parameterized Verification, Rome, Italien

Parameterized Verification (PV) is the task of verifying the correctness of systems<br>composed of a finite but arbitrary number of identical components&#046;<br>The workshop is aimed at bringing together researchers working on PV in areas<br>like Concurrent Software, Protocols, Distributed Algorithms, and Hardware Design&#046;