Lecture Notes in Computer Science

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

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.

Lecture Notes in Computer Science

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 Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

C# Programming in easy steps

Master C# fundamentals!

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Applied Mathematics with F#

Java in Two Semesters

Featuring JavaFX

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

SQL and NoSQL Database Fourth Edition

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I

The Mathematica Guidebook for Programming

A Retargetable C Compiler

Design and Implementation

Optimizing Compilers for Modern Architectures

A Dependence-Based Approach

This product is categorised by