Computer Aided Verification

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

Computer Aided Verification

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 Computer Science

Don't Burn Anyone at the Stake Today

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

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Nexus

A Brief History of Information Networks from the Stone Age to AI

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Decoding Despair

How AI is Reshaping Psychiatry

The AI Cybersecurity Handbook

Hope in the Library

How Libraries Can Help Shape Our Future with Artificial Intelligence

A Practitioner's Guide to Advancing Behavioral Health Care with Artificial Intelligence

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Nonparametric Statistics on Stratified Spaces and Their Applications in Object Data Analysis

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Agentic AI For Dummies

For Dummies (Computer/Tech)

Python All-in-One For Dummies

3rd Edition

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

AI for Business

A Guide to AI Adoption

Application of Ergonomics in Politics

A Layperson's Approach

Artificial Intelligence for Sustainable Development

How, Why, and What Drives the Future

Digital Fashion

Artificial Intelligence, Virtual, and Other Emerging Applications

Digital Fashion

Artificial Intelligence, Virtual, and Other Emerging Applications

AI and Data Science in Healthcare 5.0

Medical Robots and Devices: New Developments and Advances

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

This product is categorised by