Published: 28th October 2010
DOI: 10.4204/EPTCS.39
ISSN: 2075-2180

EPTCS 39

Proceedings 12th International Workshop on
Verification of Infinite-State Systems
Singapore, 21st September 2010

Edited by: Yu-Fang Chen and Ahmed Rezine
Preface
Yu-Fang Chen and Ahmed Rezine
On Selective Unboundedness of VASS
Stéphane Demri		1
On interleaving in P,A-Time Petri nets with strong semantics
Hanifa Boucheneb and Kamel Barkaoui		17
On Zone-Based Analysis of Duration Probabilistic Automata
Oded Maler, Kim G. Larsen and Bruce H. Krogh		33
A Decidable Characterization of a Graphical Pi-calculus with Iterators
Frédéric Peschanski, Hanna Klaudel and Raymond Devillers		47
Implicit Real Vector Automata
Bernard Boigelot, Julien Brusten and Jean-François Degbomont		63
Probabilistic regular graphs
Nathalie Bertrand and Christophe Morvan		77
Tool Paper: IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
Étienne André		91

Preface

Preface INFINITY 2010, the twelfth International Workshop on Verification of Infinite-State Systems, was held as a satellite workshop of ATVA 2010 (the eighth International Symposium on Automated Technology for Verification and Analysis) in Singapore, September 21st, 2010. The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.

Topics of interest included the following: infinite-state models of software and hardware systems; abstraction techniques for infinite-state systems; symbolic analysis techniques and data structures for representing infinite state spaces; model-checking, static analysis, abstract interpretation, preorder and equivalence- checking, and control synthesis for infinite-state systems; parameterized networks of parallel processes, dynamic networks; probabilistic and timed systems; games in modeling and verification of infinite-state systems;

This volume contains seven contributions: six regular papers and one tool paper. Each paper was reviewed by three different reviewers. The program of INFINITY 2010 was further enriched by two invited talks given by Ahmed Bouajjani and Tomas Vojnar.

The program committee consisted, besides the editors, of:
Parosh Abdulla, Sweden
Peter Habermehl, France
Radu Iosif, France
Barbara Koenig, Germany
Akash Lal, India
Richard Mayr, UK
Kedar Namjoshi, USA
Jean-Francois Raskin, Belgium
Arnaud Sangnier, Italy
Yih-Kuen Tsay, Taiwan
Tomas Vojnar, Czech Republic


We thank the authors for their contributions, the programme committee members for reviewing and selecting the papers, the external reviewers Eugene Assarin, Alexandre David and Chih-Duo Hong for their help, and the ATVA 2010 Organizing Committee Jin Song Dong, Ahmed Bouajjani, Chin Wei-Ngan, Farn Wang and Sun Jun for their support.

Final proceedings will appear in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series. We thank Rob Van Glabbeek for his support and Rajeev Alur for providing this opportunity.

September 2010, Yu-Fang Chen and Ahmed Rezine