Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Ganesh Gopalakrishnan

    1. School of Computing, University of Utah, Salt Lake City, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Shaz Qadeer

    1. Microsoft Research, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track proceedings

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

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

Included in the following conference series:

Conference proceedings info: CAV 2011.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.

The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).

Similar content being viewed by others

Keywords

Table of contents (60 papers)

  1. Front Matter

    Download chapter PDF

  2. HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection

    • Vijay Ganesh, Adam Kieżun, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael Ernst
    Pages 1-19

  3. Using Types for Software Verification

    • Ranjit Jhala
    Pages 20-20

  4. SMT-Based Modular Analysis of Sequential Systems Code

    • Shuvendu K. Lahiri
    Pages 21-27

  5. Logic and Compositional Verification of Hybrid Systems

    • André Platzer
    Pages 28-43

  6. Using Coverage to Deploy Formal Verification in a Simulation World

    • Vigyan Singhal, Prashant Aggarwal
    Pages 44-49

  7. Stability in Weak Memory Models

    • Jade Alglave, Luc Maranget
    Pages 50-66

  8. Verification of Certifying Computations

    • Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, Christine Rizkallah
    Pages 67-82

  9. Parameter Identification for Markov Models of Biochemical Reactions

    • Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
    Pages 83-98

  10. Getting Rid of Store-Buffers in TSO Analysis

    • Mohamed Faouzi Atig, Ahmed Bouajjani, Gennaro Parlato
    Pages 99-115

  11. Malware Analysis with Tree Automata Inference

    • Domagoj Babić, Daniel Reynaud, Dawn Song
    Pages 116-131

  12. State/Event-Based LTL Model Checking under Parametric Generalized Fairness

    • Kyungmin Bae, José Meseguer
    Pages 132-148

  13. Resolution Proofs and Skolem Functions in QBF Evaluation and Applications

    • Valeriy Balabanov, Jie-Hong R. Jiang
    Pages 149-164

  14. The BINCOA Framework for Binary Code Analysis

    • Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
    Pages 165-170

  15. CVC4

    • Clark Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanović, Tim King et al.
    Pages 171-177

  16. SLAyer: Memory Safety for Systems-Level Code

    • Josh Berdine, Byron Cook, Samin Ishtiaq
    Pages 178-183

  17. CPAchecker: A Tool for Configurable Software Verification

    • Dirk Beyer, M. Erkan Keremoglu
    Pages 184-190

  18. Existential Quantification as Incremental SAT

    • Jörg Brauer, Andy King, Jael Kriener
    Pages 191-207

  19. Efficient Analysis of Probabilistic Programs with an Unbounded Counter

    • Tomáš Brázdil, Stefan Kiefer, Antonín Kučera
    Pages 208-224

  20. Model Checking Algorithms for CTMDPs

    • Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang
    Pages 225-242
Back to top

Other volumes

  1. Computer Aided Verification

Editors and Affiliations

  • School of Computing, University of Utah, Salt Lake City, USA

    Ganesh Gopalakrishnan

  • Microsoft Research, USA

    Shaz Qadeer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation