Advertisement

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
    2. Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
      Pages 315-334
  9. Session 7: Abstract Domains

    1. Mathias John, Mirabelle Nebut, Joachim Niehren
      Pages 355-374
    2. Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
      Pages 375-395
    3. Vijay D’Silva, Daniel Kroening
      Pages 396-413
  10. Session 8: Combining Boolean Solving and Abstract Domains for Theories

    1. Peter Schrammel, Pavle Subotic
      Pages 414-433
    2. Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
      Pages 434-454
    3. Martin Brain, Vijay D’Silva, Leopold Haller, Alberto Griggio, Daniel Kroening
      Pages 455-475
  11. Session 9: Distributed/Concurrent System Verification

    1. Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík
      Pages 476-495
    2. Kedar S. Namjoshi, Richard J. Trefler
      Pages 496-514
    3. Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
      Pages 515-535
    4. Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman
      Pages 536-554
  12. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace