Reachability Problems

6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

  • Alain Finkel
  • Jérôme Leroux
  • Igor Potapov

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7550)

Table of contents

  1. Front Matter
  2. Mikołaj Bojańczyk, Sławomir Lasota
    Pages 1-5
  3. Sylvain Salvati, Igor Walukiewicz
    Pages 6-20
  4. Joël Ouaknine, James Worrell
    Pages 21-28
  5. Antonín Kučera
    Pages 29-41
  6. Ingo Felscher
    Pages 42-53
  7. Christoph Haase, Joël Ouaknine, James Worrell
    Pages 54-65
  8. Stefano Brocchi, Paolo Massazza
    Pages 66-78
  9. Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
    Pages 79-91
  10. S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
    Pages 92-106
  11. Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivančić, Aarti Gupta
    Pages 107-120
  12. Paul Hänsch, Stefan Kowalewski
    Pages 137-148
  13. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.

Keywords

computational complexity dynamical and hybrid systems model-checking rewriting systems verification

Editors and affiliations

  • Alain Finkel
    • 1
  • Jérôme Leroux
    • 2
  • Igor Potapov
    • 3
  1. 1.LSV & ENS CachanCachan CedexFrance
  2. 2.Univ. Bordeaux, LaBRI, CNRSTalence CedexFrance
  3. 3.Department of Computer ScienceUniversity of Liverpool,LiverpoolUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33512-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33511-2
  • Online ISBN 978-3-642-33512-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace
IT & Software