Computer Aided Verification : 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!

Computer Aided Verification

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

or 4 interest-free payments of $42.25 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 $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 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.

Computer Aided Verification

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 Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

Fundamentals of Software Architecture

A Modern Engineering Approach

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Site Reliability Engineering

How Google Runs Production Systems

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Design Patterns

Elements of Reusable Object-Oriented Software

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

User Story Mapping

Discover the Whote Story, Build the Right Product

Swim Training Patterns

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

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

Hacking For Dummies

For Dummies (Computer/Tech)

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

The Engineering Leader

Strategies for Scaling Teams and Yourself

JavaScript : The Good Parts

Unearthing the excellence in JavaScript

This product is categorised by