PV 2014 - Workshop on Parameterized Verification

ORGANIZERS:
Giorgio Delzanno (University of Genova)
Parosh A. Abdulla (Uppsala University)
DESCRIPTION:
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.
The workshop is aimed at bringing together researchers working on
Parameterized Verification using different specification formalism
(automata and logic, rewriting, Petri nets, ...), validation methods
(e.g. regular model checking, reachability and coverability
algorithms, abstractions, theorem proving,...) and application domains
(e.g. hardware design, cache coherence protocols, security and
communication protocols, multithreaded and concurrent programs,
programs with relaxed memory models, mobile and distributed systems,
database languages and systems, biological systems).