Verification, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings

  • Roberto Giacobazzi
  • Josh Berdine
  • Isabella Mastroeni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7737)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Leonardo de Moura, Dejan Jovanović
      Pages 1-12
    2. Andreas Podelski
      Pages 13-14
    3. Francesco Ranzato
      Pages 15-26
    4. Eran Yahav
      Pages 27-27
  3. Session 1: Analysis of Systems with Continuous Behavior

    1. Christian Dehnert, Joost-Pieter Katoen, David Parker
      Pages 28-47
    2. Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan
      Pages 48-67
    3. Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wąsowski
      Pages 68-87
  4. Session 2: Synthesis

    1. Swen Jacobs, Viktor Kuncak, Philippe Suter
      Pages 88-107
    2. Ayrat Khalimov, Swen Jacobs, Roderick Bloem
      Pages 108-127
  5. Session 3: Analysis Algorithms and Theorem Proving Techniques for Program Analysis

    1. Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo
      Pages 128-148
    2. Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio
      Pages 169-188
    3. Jürgen Christ, Evren Ermis, Martin Schäf, Thomas Wies
      Pages 189-208
  6. Session 4: Automata-Based Techniques

    1. Loris D’Antoni, Margus Veanes
      Pages 209-228
    2. Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
      Pages 229-247
    3. Florian Leitner-Fischer, Stefan Leue
      Pages 248-267
  7. Session 5: Tools

    1. Jiri Slaby, Jan Strejček, Marek Trtík
      Pages 268-274
    2. Simon Cruanes, Gregoire Hamon, Sam Owre, Natarajan Shankar
      Pages 275-294
  8. Session 6: Types and Proof Methodologies

    1. He Zhu, Suresh Jagannathan
      Pages 295-314

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Keywords

automata boolean solving distributed verification parameterized synthesis program analysis

Editors and affiliations

  • Roberto Giacobazzi
    • 1
  • Josh Berdine
    • 2
  • Isabella Mastroeni
    • 1
  1. 1.Department of Computer ScienceUniversity of VeronaVeronaItaly
  2. 2.Microsoft ResearchCambridgeUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-35873-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-35872-2
  • Online ISBN 978-3-642-35873-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349