Lecture Notes in Computer Science : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Ed Brinksma

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

Lecture Notes in Computer Science

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

By: Ed Brinksma (Editor), Kim G. Larsen (Editor)

Write A Review

Paperback | 19 July 2002

At a Glance

Paperback
660 Pages

Dimensions(cm)
22.86 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

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th 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, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor.

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 Science Computer Architecture & Logic Design Systems Analysis & Design Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Programming & Software Development Software Engineering

Invited Talks
Software Analysis and Model Checking	p. 1
The Quest for Efficient Boolean Satisfiability Solvers	p. 17
Invited Tutorials
On Abstraction in Software Verification	p. 37
The Symbolic Approach to Hybrid Systems	p. 57
Infinite Games and Verification (Extended Abstract of a Tutorial)	p. 58
Symbolic Model Checking
Symbolic Localization Reduction with Reconstruction Layering and Backtracking	p. 65
Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions	p. 78
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking	p. 93
Abstraction/Refinement and Model Checking
Liveness with (0,1, ∞)-Counter Abstraction	p. 107
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking	p. 123
Automatic Abstraction Using Generalized Model Checking	p. 137
Compositional/Structural Verification
Property Checking via Structural Analysis	p. 151
Conformance Checking for Models of Asynchronous Message Passing Software	p. 166
A Modular Checker for Multithreaded Programs	p. 180
Timing Analysis
Automatic Derivation of Timing Constraints by Failure Analysis	p. 195
Deciding Separation Formulas with SAT	p. 209
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling	p. 223
SAT Based Methods
Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT	p. 236
Applying SAT Methods in Unbounded Symbolic Model Checking	p. 250
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques	p. 265
Semi-formal Bounded Model Checking	p. 280
Symbolic Model Checking
Algorithmic Verification of Invalidation-Based Protocols	p. 295
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving	p. 309
Automated Unbounded Verification of Security Protocols	p. 324
Tool Presentations
Exploiting Behavioral Hierarchy for Efficient Model Checking	p. 338
IF-2.0: A Validation Environment for Component-Based Real-Time Systems	p. 343
The AVISS Security Protocol Analysis Tool	p. 349
SPeeDI - A Verification Tool for Polygonal Hybrid Systems	p. 354
NuSMV 2: An OpenSource Tool for Symbolic Model Checking	p. 359
The d/dt Tool for Verification of Hybrid Systems	p. 365
Infinite State Model Checking
Model Checking Linear Properties of Prefix-Recognizable Systems	p. 371
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking	p. 386
On Discrete Modeling and Model Checking for Nonlinear Analog Systems	p. 401
Compositional/Structural Verification
Synchronous and Bidirectional Component Interfaces	p. 414
Interface Compatibility Checking for Software Modules	p. 428
Practical Methods for Proving Program Termination	p. 442
Extended Model Checking
Evidence-Based Model Checking	p. 455
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification	p. 471
Vacuum Cleaning CTL Formulae	p. 485
Tool Presentations
CVC: A Cooperating Validity Checker	p. 500
Chek: A Multi-valued Model-Checker	p. 505
PathFinder: A Tool for Design Exploration	p. 510
Abstracting C with abC	p. 515
AMC: An Adaptive Model Checker	p. 521
Code Verification
Temporal-Safety Proofs for Systems Code	p. 526
Regular Model Checking and Acceleration
Extrapolating Tree Transformations	p. 539
Regular Tree Model Checking	p. 555
Compressing Transitions for Model Checking	p. 569
Model Reduction
Canonical Prefixes of Petri Net Unfoldings	p. 582
State Space Reduction by Proving Confluence	p. 596
Fair Simulation Minimization	p. 610
Author Index	p. 625
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Expert Systems & Knowledge-Based Systems

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Non-prioritized Belief Change

Foundations, Theory, and Algorithms

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Agentic AI For Dummies

For Dummies (Computer/Tech)

SECRETS OF MACHINE LEARNING

How It Works and What It Means for You

Scaling Responsible AI

From Enthusiasm to Execution

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

Machine Learning For Dummies

For Dummies (Computer/Tech)

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Agentic AI for Healthcare

Building Scalable Models for Production

Intelligent and Sustainable Systems

AI, Green IoT, and Adaptive Automation in Electrical and Communication Technologies

AI for the Ordinary

A Non-technical Playbook for Citizens, Students, and Managers

AI for the Ordinary

A Non-technical Playbook for Citizens, Students, and Managers

AI for Marketing

The Consumer Perspective

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

Challenges and Opportunities in Artificial Intelligence

Engineering and Management Applications

Intelligent and Sustainable Systems

AI, Green IoT, and Adaptive Automation in Electrical and Communication Technologies

Challenges and Opportunities in Artificial Intelligence

Engineering and Management Applications

Connecting Intelligence

Trends in Computation and Data Communication

The Introduction of Artificial Intelligence into Legal Systems

This product is categorised by