Lecture Notes in Computer Science

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 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 $89.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.

Lecture Notes in Computer Science

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 Artificial Intelligence

The Challenge of the Future

What Should We Keep from Yesterday as We Rush Into Tomorrow?

Empire of AI

Inside the reckless race for total domination

Don't Burn Anyone at the Stake Today

(and other lessons from history about living through an information crisis)

AI Snake Oil

What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Generative AI Tools

From Algorithms to Applications

Digitalizing Material Innovations for Net-Zero Applications

Disruptive Technologies

Transforming Industries with Smart Solutions

Advancing Societally Relevant Applications of Knowledge through Scientific Research

Understanding Blockchain in Construction

A Practical Guide

Understanding Blockchain in Construction

A Practical Guide

Introduction to Machine Learning Algorithms

Basic Principles and Mathematics

AI and ML Governance in Financial Services

Balancing Innovation, Risk, and Equity

Fractional Differential Equations

Numerical Methods for Applications

Control, Robotics and Sensors

Design, Control and Applications

Graphical Models and Causal Discovery with R

100 Exercises for Building Logic

Sixth Congress on Intelligent Systems

CIS 2025, Volume 6

Areas of Success for AI

Third Annual Workshop, Embry-Riddle L. H. Harper Memorial AI Workshop 2025, Prescott, AZ, USA, August 15-16, 2025, Proceedings

Neural Networks

Overview of Current Theories and Applications

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

The Observer-Centric Universe, Quantum Mechanics and the Path to AGI Alignment

Proceedings of the 6th International Conference on Data Science, Machine Learning and Applications, Volume 2

ICDSMLA 2024, 13â"14 December, Tirupati, India

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

16th International Workshop, STACOM 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 27, 2025, Revised Selected Papers

Choas and Control of Fractional Order Discrete Time Memristive Systems

Analytical Approaches and Numerical Simulations

This product is categorised by