Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

  • Deepak D’Souza
  • Akash Lal
  • Kim Guldstrand Larsen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8931)

Table of contents

  1. Front Matter
  2. Mickael Randour, Jean-François Raskin, Ocan Sankur
    Pages 1-18
  3. Kartik Nagar, Y. N. Srikant
    Pages 43-60
  4. Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
    Pages 61-79
  5. Andrew Reynolds, Viktor Kuncak
    Pages 80-98
  6. Assalé Adjé, Pierre-Loïc Garoche
    Pages 99-116
  7. Ratul Saha, Javier Esparza, Sumit Kumar Jha, Madhavan Mukund, P. S. Thiagarajan
    Pages 117-134
  8. Md Tawhid Bin Waez, Andrzej Wąsowski, Juergen Dingel, Karen Rudie
    Pages 153-171
  9. Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
    Pages 172-189
  10. Bishoksan Kafle, John P. Gallagher
    Pages 209-226
  11. Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
    Pages 227-244
  12. Gwen Salaün, Lina Ye
    Pages 245-262
  13. Nikolaj Bjørner, Arie Gurfinkel
    Pages 263-281
  14. Jiangchao Liu, Xavier Rival
    Pages 282-299
  15. Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck
    Pages 300-317
  16. Maria Christakis, Peter Müller, Valentin Wüstholz
    Pages 336-354

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, abstract domains, program synthesis, static analysis, deductive methods, program certification, error diagnosis, program transformation, and hybrid and cyberphysical systems.

Keywords

SAT-solvers bisimulations complexity concurrency embedded software formal verification graph transformation hybrid systems model checking parallelism privacy simulations stability analysis static analysis static verification

Editors and affiliations

  • Deepak D’Souza
    • 1
  • Akash Lal
    • 2
  • Kim Guldstrand Larsen
    • 3
  1. 1.Department of Computer Science and AutomationIndian Institute of ScienceBangaloreIndia
  2. 2.Microsoft Research IndiaBangaloreIndia
  3. 3.Department of Computer ScienceAalborg UniversityAalborg EastDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-46081-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46080-1
  • Online ISBN 978-3-662-46081-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349