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.00

or 4 interest-free payments of $42.25 with

Ships in 7 to 10 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

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Semantics With Applications

Advanced Topics in Computer Science

The Essence of Software Engineering

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Architecture Patterns with Python

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

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

Arduino For Dummies

Blackwell Philosophy Anthologies

Swim Training Patterns

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

Architectural Approach to Level Design

Second edition

Hacking For Dummies

For Dummies (Computer/Tech)

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Programming TypeScript

Making Your JavaScript Applications Scale

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Learning Modern C++ for Finance

Foundations for Quantitative Programming

The Engineering Leader

Strategies for Scaling Teams and Yourself

This product is categorised by