Skip to main content
SpringerLink
Log in

Computer Aided Verification

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Natasha Sharygina

    1. University of Lugano, Lugano, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Veith

    1. University of Technology, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast conference proceedings
  • State-of-the-art report
  • Up to date results

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CAV 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (72 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Tutorials

    1. First-Order Theorem Proving and Vampire

      • Laura Kovács, Andrei Voronkov
      Pages 1-35

    2. Software Model Checking for People Who Love Automata

      • Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
      Pages 36-52

    3. Multi-solver Support in Symbolic Execution

      • Hristina Palikareva, Cristian Cadar
      Pages 53-68

  3. Biology

    1. Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks

      • Loïc Paulevé, Geoffroy Andrieux, Heinz Koeppl
      Pages 69-84

    2. Model-Checking Signal Transduction Networks through Decreasing Reachability Sets

      • Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
      Pages 85-100

    3. TTP: Tool for Tumor Progression

      • Johannes G. Reiter, Ivana Bozic, Krishnendu Chatterjee, Martin A. Nowak
      Pages 101-106

    4. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

      • Luboš Brim, Milan Češka, Sven Dražan, David Šafránek
      Pages 107-123

  4. Concurrency

    1. Parameterized Verification of Asynchronous Shared-Memory Systems

      • Javier Esparza, Pierre Ganty, Rupak Majumdar
      Pages 124-140

    2. Partial Orders for Efficient Bounded Model Checking of Concurrent Software

      • Jade Alglave, Daniel Kroening, Michael Tautschnig
      Pages 141-157

    3. Incremental, Inductive Coverability

      • Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac
      Pages 158-173

    4. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates

      • Cezara Drăgoi, Ashutosh Gupta, Thomas A. Henzinger
      Pages 174-190

    5. Duet: Static Analysis for Unbounded Parallelism

      • Azadeh Farzan, Zachary Kincaid
      Pages 191-196

  5. Hardware

    1. SVA and PSL Local Variables - A Practical Approach

      • Roy Armoni, Dana Fisman, Naiyong Jin
      Pages 197-212

    2. Formal Verification of Hardware Synthesis

      • Thomas Braibant, Adam Chlipala
      Pages 213-228

    3. CacBDD: A BDD Package with Dynamic Cache Management

      • Guanfeng Lv, Kaile Su, Yanyan Xu
      Pages 229-234

    4. Distributed Explicit State Model Checking of Deadlock Freedom

      • Brad Bingham, Jesse Bingham, John Erickson, Mark Greenstreet
      Pages 235-241

  6. Hybrid Systems

    1. Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems

      • Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu
      Pages 242-257

    2. Flow*: An Analyzer for Non-linear Hybrid Systems

      • Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
      Pages 258-263

    3. Efficient Robust Monitoring for STL

      • Alexandre Donzé, Thomas Ferrère, Oded Maler
      Pages 264-279
Back to top

Other volumes

  1. Computer Aided Verification

Editors and Affiliations

  • University of Lugano, Lugano, Switzerland

    Natasha Sharygina

  • University of Technology, Vienna, Austria

    Helmut Veith

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation