My Wish Lists Login / Join

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

By: Lenore D. Zuck (Editor), Paul D. Attie (Editor), Agostino Cortesi (Editor)

Write A Review

Paperback | 13 December 2002

At a Glance

Paperback
344 Pages

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

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9-11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities-Veri?cation, Model Checking, and Abstract Interpretation-that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.

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 Computer Science Computer Architecture & Logic Design Programming & Scripting Languages Systems Analysis & Design

Software Model Checking with Abstraction Refinement	p. 1
Model-Checking and Abstraction to the Aid of Parameterized Systems	p. 4
Behavior-Based Model Construction	p. 5
Automatic Verification by Abstract Interpretation	p. 20
Symmetry Reductions in Model-Checking	p. 25
CHASE: A Static Checker for JML's Assignable Clause	p. 26
Abstract Interpretation-Based Certification of Assembly Code	p. 41
Property Checking Driven Abstract Interpretation-Based Static Analysis	p. 56
Optimized Live Heap Bound Analysis	p. 70
Complexity of Nesting Analysis in Mobile Ambients	p. 86
Types for Evolving Communication in Safe Ambients	p. 102
A Logical Encoding of the [pi]-Calculus: Model Checking Mobile Processes Using Tabled Resolution	p. 116
Properties of a Type Abstract Interpreter	p. 132
Domain Compression for Complete Abstractions	p. 146
Abstraction of Expectation Functions Using Gaussian Distributions	p. 161
Lifting Temporal Proofs through Abstractions	p. 174
Efficient Verification of Timed Automata with BDD-Like Data-Structures	p. 189
On the Expressiveness of 3-Valued Models	p. 206
Bisimulation and Unwinding for Verifying Possibilistic Security Properties	p. 223
Formal Verification of the Horn-Preneel Micropayment Protocol	p. 238
Action Refinement from a Logical Point of View	p. 253
Reasoning about Layered Message Passing Systems	p. 268
Using Simulated Execution in Verifying Distributed Algorithms	p. 283
Efficient Computation of Recurrence Diameters	p. 298
Shape Analysis through Predicate Abstraction and Model Checking	p. 310
Author Index	p. 325
Table of Contents provided by Blackwell. All Rights Reserved.

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Cognitive Cloud Computing

Building Intelligent Systems for Tomorrow

Explainable Artificial Intelligence-based Industrial Internet of Things

Technologies and Applications

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

Business Driven Information Systems ISE

9th Edition

Rust Atomics and Locks

Low-Level Concurrency in Practice

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

DAMA-DMBOK

Data Management Body of Knowledge

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

Robot Automation

Principle, Design and Applications

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Fundamentals of DevOps and Software Delivery

A Hands-On Guide to Deploying and Managing Software in Production

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Rust Programming in easy steps

In Easy Steps

This product is categorised by