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

Microsoft Power BI For Dummies

For Dummies (Computer/Tech)

Python Crash Course

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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Nexus

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

The AI Con

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

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Creative Machines

AI, Art & Us

Machine Learning For Dummies

For Dummies (Computer/Tech)

AI in Early Education

Integrating Artificial Intelligence for Inclusive and Effective Learning

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The Tech Coup

How to Save Democracy from Silicon Valley

AI Engineering

Building Applications with Foundation Models

New Beginnings

why change is so difficult and how to achieve it

AI for Business

A Guide to AI Adoption

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Empire of AI

Inside the reckless race for total domination

Python All-in-One For Dummies

3rd Edition

Deep Learning for Intrusion Detection

Techniques and Applications

Innovative Solutions

Advanced User Experience Design

AI in Education Systems

Successful Cases and Perspectives

AI for Creative Production

A handbook for the ethical use of AI in creating and processing text, images, video, and audio

Deep Learning Applications in Operations Research

Machine Music

How AI is Transforming Music's Next Act

This product is categorised by