Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

By: Rajeev Alur (Editor), Doron A. Peled (Editor)

Write A Review

Paperback | 29 June 2004

At a Glance

Paperback
556 Pages

Dimensions(cm)
23.5 x 15.24 x 3.18

Paperback

$169.75

or 4 interest-free payments of $42.44 with

Ships in 5 to 7 business days

ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13-17,2004.CAV 2004 was the 16th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. The conference has traditionally drawn participation from researchersas well as practitioners in both academia and industry. CAV 2004 was colocated with the ACM International Symposium on So- ware Testing and Analysis (ISSTA 2004), and was partially sponsored by the ACMSIGSOFT.Thecolocationre?ectstheincreasingsynergybetweenresearch on veri?cation and testing, and emerging applications of formal veri?cation to softwareanalysis.Joint CAV-ISSTA events included a distinguished plenary l- ture by David Harel and a special session exploring various approaches to the speci?cation and veri?cation of concurrent software organized by Shaz Qadeer.

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 Computer Science Computer Architecture & Logic Design Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence

Rob Tristan Gerth: 1956-2003	p. 1
Static Program Analysis via 3-Valued Logic	p. 15
Deductive Verification of Pipelined Machines Using First-Order Quantification	p. 31
A Formal Reduction for Lock-Free Parallel Algorithms	p. 44
An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking	p. 57
Termination of Linear Programs	p. 70
Symbolic Model Checking of Non-regular Properties	p. 83
Proving More Properties with Bounded Model Checking	p. 96
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings	p. 109
Using Interface Refinement to Integrate Formal Verification into the Design Cycle	p. 122
Indexed Predicate Discovery for Unbounded System Verification	p. 135
Range Allocation for Separation Logic	p. 148
An Experimental Evaluation of Ground Decision Procedures	p. 162
DPLL(T): Fast Decision Procedures	p. 175
Verifying -Regular Properties of Markov Chains	p. 189
Statistical Model Checking of Black-Box Probabilistic Systems	p. 202
Compositional Specification and Model Checking in GSTE	p. 216
GSTE Is Partitioned Model Checking	p. 229
Stuck-Free Conformance	p. 242
Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors	p. 255
Functional Dependency for Verification Reduction	p. 268
Verification via Structure Simulation	p. 281
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures	p. 295
Abstraction-Based Satisfiability Solving of Presburger Arithmetic	p. 308
Widening Arithmetic Automata	p. 321
Why Model Checking Can Improve WCET Analysis	p. 334
Regular Model Checking for LTL(MSO)	p. 348
Image Computation in Infinite State Model Checking	p. 361
Abstract Regular Model Checking	p. 372
Global Model-Checking of Infinite-State Systems	p. 387
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings	p. 401
Verification of an Advanced MIPS-Type Out-of-Order Execution Algorithm	p. 414
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values	p. 427
Efficient Modeling of Embedded Memories in Bounded Model Checking	p. 440
Understanding Counterexamples with explain	p. 453
ZAPATO: Automatic Theorem Proving for Predicate Abstraction Refinement	p. 457
JNuke: Efficient Dynamic Analysis for Java	p. 462
The HiVy Tool Set	p. 466
ObsSlioe: A Timed Automata Slicer Based on Observers	p. 470
The UCLID Decision Procedure	p. 475
MCK: Model Checking the Logic of Knowledge	p. 479
Zing: A Model Checker for Concurrent Software	p. 484
The Mec 5 Model-Checker	p. 488
PlayGame: A Platform for Diagnostic Games	p. 492
SAL 2	p. 496
Formal Analysis of Java Programs in JavaFAN	p. 501
A Toolset for Modelling and Verification of GALS Systems	p. 506
WSAT: A Tool for Formal Analysis of Web Services	p. 510
CVC Lite: A New Implementation of the Cooperating Validity Checker - Category B	p. 515
CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking	p. 519
Mechanical Mathematical Methods for Microprocessor Verification	p. 523
Author Index	p. 535
Table of Contents provided by Publisher. All Rights Reserved.

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Advanced Computational Intelligence Techniques for Engineers

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Developing Graphics Frameworks with Java and OpenGL

Git : Pocket Guide

A Working Introduction

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Architecture Patterns with Python

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

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

Applied Machine Learning in Healthcare

Case-Based Approach

This product is categorised by