Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Thomas Ball

Instant online reading.
Don't wait for delivery!
Go digital and save!

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

By: Thomas Ball (Editor), Robert B. Jones (Editor)

Write A Review

Paperback | 8 August 2006

At a Glance

Paperback
584 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Paperback

$169.00

or 4 interest-free payments of $42.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Computer Science Computer Architecture & Logic Design Mathematics

Mathematical Foundation Mathematical Logic Artificial Intelligence

Invited Talks
Formal Specifications on Industrial-Strength Code-From Myth to Reality	p. 1
I Think I Voted: E-Voting vs. Democracy	p. 2
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs	p. 3
The Ideal of Verified Software	p. 5
Automata
Antichains: A New Algorithm for Checking Universality of Finite Automata	p. 17
Safraless Compositional Synthesis	p. 31
Minimizing Generalized Buchi Automata	p. 45
Tools Papers
Ticc: A Tool for Interface Compatibility and Composition	p. 59
Fast Extended Release	p. 63
Arithmetic
Don't Care Words with an Application to the Automata-Based Approach for Real Addition	p. 67
A Fast Linear-Arithmetic Solver for DPLL(T)	p. 81
SAT and Bounded Model Checking
Bounded Model Checking for Weak Alternating Buchi Automata	p. 95
Deriving Small Unsatisfiable Cores with Dominators	p. 109
Abstraction/Refinement
Lazy Abstraction with Interpolants	p. 123
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop	p. 137
Counterexamples with Loops for Predicate Abstraction	p. 152
Tools Papers
Cascade: C Assertion Checker and Deductive Engine	p. 166
Yasm: A Software Model-Checker for Verification and Refutation	p. 170
Symbolic Trajectory Evaluation
SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation	p. 175
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation	p. 190
Property Specification and Verification
Some Complexity Results for System Verilog Assertions	p. 205
Check It Out: On the Efficient Formal Verification of Live Sequence Charts	p. 219
Time
Symmetry Reduction for Probabilistic Model Checking	p. 234
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify	p. 249
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis	p. 263
Tools Papers
DiVinE - A Tool for Distributed Verification	p. 278
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation	p. 282
Concurrency
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions	p. 286
Model Checking Multithreaded Programs with Asynchronous Atomic Methods	p. 300
Causal Atomicity	p. 315
Trees, Pushdown Systems and Boolean Programs
Languages of Nested Trees	p. 329
Improving Pushdown System Model Checking	p. 343
Repair of Boolean Programs with an Application to C	p. 358
Termination
Termination of Integer Linear Programs	p. 372
Automatic Termination Proofs for Programs with Shape-Shifting Heaps	p. 386
Termination Analysis with Calling Context Graphs	p. 401
Tools Papers
Terminator: Beyond Safety	p. 415
Cute and jCute: Concolic Unit Testing and Explicit Path Model-Checking Tools	p. 419
Abstract Interpretation
SMT Techniques for Fast Predicate Abstraction	p. 424
The Power of Hybrid Acceleration	p. 438
Lookahead Widening	p. 452
Tools Papers
The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover	p. 467
Lever: A Tool for Learning Based Verification	p. 471
Memory Consistency
Formal Verification of a Lazy Concurrent List-Based Set Algorithm	p. 475
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study	p. 489
Fast and Generalized Polynomial Time Memory Consistency Verification	p. 503
Shape Analysis
Programs with Lists Are Counter Automata	p. 517
Lazy Shape Analysis	p. 532
Abstraction for Shape Analysis with Fast and Precise Transformers	p. 547
Author Index	p. 563
Table of Contents provided by Ingram. All Rights Reserved.

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Engineering Lakehouses with Open Table Formats

Build scalable and efficient lakehouses with Apache Iceberg, Apache Hudi, and Delta Lake

Parallel Computing

Design and Analysis of Algorithms

Computer Architecture

A Modern Approach

Basic Computer Architecture

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Developing Graphics Frameworks with Java and OpenGL

Clean Architecture

A Craftsman's Guide to Software Structure and Design

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Rust Atomics and Locks

Low-Level Concurrency in Practice

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Simply AI

Facts Made Fast

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Platform Engineering

A Guide for Technical, Product, and People Leaders

Kubernetes - Up and Running

Dive into the Future of Infrastructure

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Digital Design and Computer Architecture

ARM Edition

Beyond The Invisible Nexus

Dark Web, Dark AI and Offensive Security

Beyond The Invisible Nexus

Dark Web, Dark AI and Offensive Security

Modern Benford's Law

State of the Art Techniques for Audit and Compliance Professionals

This product is categorised by