Advertisement

Computer Aided Verification

25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

  • Natasha Sharygina
  • Helmut Veith

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

Table of contents

  1. Front Matter
  2. Invited Tutorials

    1. Laura Kovács, Andrei Voronkov
      Pages 1-35
    2. Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
      Pages 36-52
    3. Hristina Palikareva, Cristian Cadar
      Pages 53-68
  3. Biology

    1. Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
      Pages 69-84
    2. Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
      Pages 85-100
    3. Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak
      Pages 101-106
    4. Luboš Brim, Milan Češka, Sven Dražan, David Šafránek
      Pages 107-123
  4. Concurrency

    1. Javier Esparza, Pierre Ganty, Rupak Majumdar
      Pages 124-140
    2. Jade Alglave, Daniel Kroening, Michael Tautschnig
      Pages 141-157
    3. Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
      Pages 158-173
    4. Cezara Drăgoi, Ashutosh Gupta, Thomas A. Henzinger
      Pages 174-190
    5. Azadeh Farzan, Zachary Kincaid
      Pages 191-196
  5. Hardware

    1. Roy Armoni, Dana Fisman, Naiyong Jin
      Pages 197-212
    2. Thomas Braibant, Adam Chlipala
      Pages 213-228
    3. Guanfeng Lv, Kaile Su, Yanyan Xu
      Pages 229-234
    4. Brad Bingham, Jesse Bingham, John Erickson, Mark Greenstreet
      Pages 235-241
  6. Hybrid Systems

    1. Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
      Pages 242-257
    2. Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
      Pages 258-263
    3. Alexandre Donzé, Thomas Ferrère, Oded Maler
      Pages 264-279
    4. Pavithra Prabhakar, Miriam Garcia Soto
      Pages 280-295
    5. Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
      Pages 296-312
  7. Interpolation

    1. Aws Albarghouthi, Kenneth L. McMillan
      Pages 313-329
    2. Yakir Vizel, Vadim Ryvchin, Alexander Nadel
      Pages 330-346
    3. Philipp Rümmer, Hossein Hojjat, Viktor Kuncak
      Pages 347-363
    4. Liyun Dai, Bican Xia, Naijun Zhan
      Pages 364-380
  8. Loops and Termination

    1. Daniel Kroening, Matt Lewis, Georg Weissenbacher
      Pages 381-396
    2. Pierre Ganty, Samir Genaim
      Pages 397-412
    3. Marc Brockschmidt, Byron Cook, Carsten Fuhs
      Pages 413-429
  9. New Domains

    1. Oshri Adler, Cindy Eisner, Tatyana Veksler
      Pages 430-446
    2. Arun Chaganty, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
      Pages 447-462
    3. Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus
      Pages 463-478
    4. Shaull Almagor, Guy Avni, Orna Kupferman
      Pages 479-494
  10. Probability and Statistics

    1. Aleksandar Chakarov, Sriram Sankaranarayanan
      Pages 511-526
    2. Alberto Puggelli, Wenchao Li, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
      Pages 527-542
    3. Krishnendu Chatterjee, Jakub Łącki
      Pages 543-558
    4. Krishnendu Chatterjee, Andreas Gaiser, Jan Křetínský
      Pages 559-575
    5. Cyrille Jegourel, Axel Legay, Sean Sedwards
      Pages 576-591
  11. SAT and SMT

    1. Joao Marques-Silva, Mikoláš Janota, Anton Belov
      Pages 592-607
    2. Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
      Pages 608-623
    3. Loris D’Antoni, Margus Veanes
      Pages 624-639
    4. Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstić
      Pages 640-655
    5. Chih-Hong Cheng, Harald Ruess, Natarajan Shankar
      Pages 656-661
    6. Panagiotis Manolios, Vasilis Papavasileiou
      Pages 662-677
    7. Isil Dillig, Thomas Dillig
      Pages 684-689
  12. Security

    1. Tom Chothia, Yusuke Kawamoto, Chris Novakovic
      Pages 690-695
    2. Simon Meier, Benedikt Schmidt, Cas Cremers, David Basin
      Pages 696-701
    3. Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski
      Pages 702-707

About these proceedings

Introduction

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.

Keywords

LTL synthesis algorithms automata model checking verification tools

Editors and affiliations

  • Natasha Sharygina
    • 1
  • Helmut Veith
    • 2
  1. 1.University of LuganoLuganoSwitzerland
  2. 2.University of TechnologyViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39799-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39798-1
  • Online ISBN 978-3-642-39799-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace