Lecture Notes in Computer Science

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

By: Jr. Warren A. Hunt (Editor), Fabio Somenzi (Editor)

Write A Review

Paperback | 27 June 2003

At a Glance

Paperback
480 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.

The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

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 Systems Analysis & Design Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence

Expert Systems & Knowledge-Based Systems

Extending Bounded Model Checking
Interpolation and SAT-Based Model Checking	p. 1
Bounded Model Checking and Induction: From Refutation to Verification	p. 14
Symbolic Model Checking
Reasoning with Temporal Logic on Truncated Paths	p. 27
Structural Symbolic CTL Model Checking of Asynchronous Systems	p. 40
A Work-Efficient Distributed Algorithm for Reachability Analysis	p. 54
Games, Trees, and Counters
Modular Strategies for Infinite Games on Recursive Graphs	p. 67
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded	p. 80
Dense Counter Machines and Verification Problems	p. 93
Tool Presentations I
TRIM: A Tool for Triggered Message Sequence Charts	p. 106
Model Checking Multi-Agent Programs with CASP	p. 110
Monitoring Temporal Rules Combined with Time Series	p. 114
FAST: Fast Acceleration of Symbolic Transition Systems	p. 118
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems	p. 122
Abstraction I
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates	p. 126
A Symbolic Approach to Predicate Abstraction	p. 141
Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods	p. 154
Dense Time
Digitizing Interval Duration Logic	p. 167
Timed Control with Partial Observability	p. 180
Hybrid Acceleration Using Real Vector Automata	p. 193
Tool Presentations II
Abstraction and BDDs Complement SAT-Based BMC in DiVer	p. 206
TLQSolver: A Temporal Logic Query Checker	p. 210
Evidence Explorer: A Tool for Exploring Model-Checking Proofs	p. 215
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols	p. 219
Infinite State Systems
Iterating Transducers in the Large	p. 223
Algorithmic Improvements in Regular Model Checking	p. 236
Efficient Image Computation in Infinite State Model Checking	p. 249
Abstraction II
Thread-Modular Abstraction Refinement	p. 262
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement	p. 275
Abstraction for Branching Time Properties	p. 288
Applications
Certifying Optimality of State Estimation Programs	p. 301
Domain-Specific Optimization in Automata Learning	p. 315
Model Checking Conformance with Scenario-Based Specifications	p. 328
Theorem Proving
Deductive Verification of Advanced Out-of-Order Microprocessors	p. 341
Theorem Proving Using Lazy Proof Explication	p. 355
Automata-Based Verification
Enhanced Vacuity DetectioninLinearTemporal Logic	p. 368
Bridging the Gap between Fair Simulation and Trace Inclusion	p. 381
An Improved On-the-Fly TableauConstructionforaReal-Time Temporal Logic	p. 394
Invariants
Strengthening Invariants by Symbolic Consistency Testing	p. 407
Linear Invariant Generation Using Non-linear Constraint Solving	p. 420
Explicit Model Checking
To Store or Not to Store	p. 433
Calculating r-Confluence Compositionally	p. 446
Author Index	p. 461
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Federated Learning for Healthcare

Applications with Case Studies

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

The Essence of Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Code

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

Coding All-in-One For Dummies

2nd Edition

Refactoring 2ed

Improving the Design of Existing Code

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

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

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

Site Reliability Engineering

How Google Runs Production Systems

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Typescript Cookbook

Real World Type-Level Programming

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Learning Algorithms

A Programmer's Guide to Writing Better Code

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Devops Handbook: 2nd Edition

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

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

User Story Mapping

Discover the Whote Story, Build the Right Product

This product is categorised by