© 2015

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
  • Up-to-date results

  • Fast track conference proceedings

  • State-of-the-art report

Conference proceedings VMCAI 2015

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


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.


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

Industry Sectors
IT & Software