A Concur Workshop on Parameterized Verification
Rome, Sept 6, 2013
Systems composed of a finite but possibly arbitrary number of identical components occur everywhere:The workshop is aimed at bringing together researchers working on Parameterized Verification using different
specification formalism (e.g, programs, 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).
Giorgio Delzanno and Parosh A. Abdulla