PV@CONCUR 2014
Date: Sep 06, 2014 7:00 am – Sep 06, 2014 4:00 pm
Location: Rome, Italy
First Workshop on Parameterized Verification
Parameterized Verification (PV) is the task of verifying the correctness
of systems composed of a finite but arbitrary number of identical
components. The workshop is aimed at bringing together researchers
working on PV in areas like Concurrent Software, Protocols, Distributed
Algorithms, and Hardware Design.
The home page of the workshop is at the URL:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/
The preliminary program of the first edition of the workshop is
available at the address:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/pv_program.pdf
Registration details (Concur and related events) are available at the
URL:
http://concur2014.org/reg_fees.php
Submitted by Anonymous
on
Date: Sep 06, 2014 7:00 am – Sep 06, 2014 4:00 pm
Location: Rome, Italy
First Workshop on Parameterized Verification
Parameterized Verification (PV) is the task of verifying the correctness
of systems composed of a finite but arbitrary number of identical
components. The workshop is aimed at bringing together researchers
working on PV in areas like Concurrent Software, Protocols, Distributed
Algorithms, and Hardware Design.
The home page of the workshop is at the URL:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/
The preliminary program of the first edition of the workshop is
available at the address:
http://www.disi.unige.it/person/DelzannoG/PV/PV14/pv_program.pdf
Registration details (Concur and related events) are available at the
URL:
http://concur2014.org/reg_fees.php
Submitted by Anonymous
on