PV 2018 - 4th International Workshop on Parameterized Verification (PV 2018)

Systems composed of a finite but possibly arbitrary number of identical components occur everywhere from hardware design (e.g. cache coherence protocols) to distributed applications (e.g. client-server applications). Parameterized verification is the task of verifying the correctness of this kind of systems regardless the number of their components. PV is aimed at bringing together researchers working on Parameterized Verification.