My Wish Lists Login / Join

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

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

The Nostalgia Nerd's Retro Tech : Tech Classics

Computer, Consoles & Games

Computer Architecture

A Modern Approach

Basic Computer Architecture

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Developing Graphics Frameworks with Java and OpenGL

Augmented Software Design

A Team Exercise in Empirical Software Design

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Facilitating Software Architecture

Empowering Teams to Make Architectural Decisions

Simply AI

Facts Made Fast

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Digital Farming

Case Studies and Applications of IoT and AI in Agricultural Industry

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Tidy First?

A Personal Exercise in Empirical Software Design

Machine Translation

Best Practices using Deep Learning and Generative AI

Human-Computer Interaction

The Basics

Human-Computer Interaction

The Basics

Logic Synthesis for Multi-Core Counter-Based Control Units

Structural Decomposition in Logic Design

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Data and Model-Centric Artificial Intelligence for Industry 5.0

Brain-Inspired AI for Sustainable Development

Knowledge-based Engineering for Innovation

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

This product is categorised by