Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

By: Gilles Barthe (Editor), Manuel Hermenegildo (Editor)

Write A Review

Paperback | 8 January 2010

At a Glance

Paperback
408 Pages

Dimensions(cm)
23.5 x 15.5 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

Invited Talks.- Analysis of Systems with Stochastic Process Creation.- Verifying Concurrent Programs with Chalice.- Static Timing Analysis for Hard Real-Time Systems.- Invited Tutorials.- Abstract Interpretation-Based Protection.- Advances in Probabilistic Model Checking.- Building a Calculus of Data Structures.- Regular Papers.- Temporal Reasoning for Procedural Programs.- Improved Model Checking of Hierarchical Systems.- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.- Complexity Bounds for the Verification of Real-Time Software.- An Abstract Domain to Discover Interval Linear Equalities.- Interpolant Strength.- Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.- Invariant and Type Inference for Matrices.- Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction.- Automatic Abstraction for Congruences.- Shape Analysis of Low-Level C with Overlapping Structures.- Abstract Threads.- Shape Analysis with Reference Set Relations.- Shape Analysis in the Absence of Pointers and Structure.- An Analysis of Permutations in Arrays.- Regular Linear Temporal Logic with Past.- Model-Checking In-Lined Reference Monitors.- Considerate Reasoning and the Composite Design Pattern.- RGSep Action Inference.- Best Probabilistic Transformers.- Collections, Cardinalities, and Relations.

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.

More in Algorithms & Data Structures

Theory of Computation for Software Developers - Maxim Mozgovoy

$22.99

15%
OFF

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$32.75

18%
OFF

Algorithms in C, Parts 1-4

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

Paperback

RRP $131.20

$81.75

38%
OFF

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$91.20

20%
OFF

Learning Algorithms

A Programmer's Guide to Writing Better Code

Paperback

RRP $152.00

$121.60

20%
OFF

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$121.60

20%
OFF

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Paperback

RRP $36.99

$29.75

20%
OFF

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Hardcover

RRP $44.99

$35.75

21%
OFF

Code Dependent

Living in the Shadow of AI

Paperback

RRP $24.99

$21.75

13%
OFF

Recursion : Mathematics and Python - George K. Thiruvathukal

$157.75

Data-Driven Modeling & Scientific Computation : Methods for Complex Systems & Big Data - J. Nathan Kutz

$76.75

21%
OFF

Decentralized Futures : Navigating the Integration of Blockchain Technology with Artificial Intelligence - Abhilash Pati

$49.75

25%
OFF

Artificial Intelligence for Art Creation and Understanding

Multimedia Computing, Communication and Intelligence

Paperback

$182.75

Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract)	p. 1
Verifying Concurrent Programs with Chalice (Abstract)	p. 2
Static Timing Analysis for Hard Real-Time Systems	p. 3
Invited Tutorials
Abstract Interpretation-Based Protection (Extended Abstract)	p. 23
Advances in Probabilistic Model Checking (Abstract)	p. 25
Building a Calculus of Data Structures	p. 26
Regular Papers
Temporal Reasoning for Procedural Programs	p. 45
Improved Model Checking of Hierarchical Systems	p. 61
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming	p. 78
Complexity Bounds for the Verification of Real-Time Software	p. 95
An Abstract Domain to Discover Interval Linear Equalities	p. 112
Interpolant Strength	p. 129
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing	p. 146
Invariant and Type Inference for Matrices	p. 163
Deriving Invariants by Algorithmic Learning, Decision-Procedures, and Predicate Abstraction	p. 180
Automatic Abstraction for Congruences	p. 197
Shape Analysis of Low-Level C with Overlapping Structures	p. 214
Abstract Threads	p. 231
Shape Analysis with Reference Set Relations	p. 247
Shape Analysis in the Absence of Pointers and Structure	p. 263
An Analysis of Permutations in Arrays	p. 279
Regular Linear Temporal Logic with Past	p. 295
Model-Checking In-Lined Reference Monitors	p. 312
Considerate Reasoning and the Composite Design Pattern	p. 328
RGSep Action Inference	p. 345
Best Probabilistic Transformers	p. 362
Collections, Cardinalities, and Relations	p. 380
Author Index	p. 397
Table of Contents provided by Ingram. All Rights Reserved.

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Algorithms & Data Structures

Theory of Computation for Software Developers

Theory of Computation for Software Developers

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Addiction by Design

Machine Gambling in Las Vegas

Algorithms in C, Parts 1-4

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

Introduction to Machine Learning with Python

A Guide for Data Scientists

Learning Algorithms

A Programmer's Guide to Writing Better Code

How to Prove It

A Structured Approach

Python for Algorithmic Trading

From Idea to Cloud Deployment

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Code Dependent

Living in the Shadow of AI

Recursion

Mathematics and Python

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Data-Driven Modeling & Scientific Computation

Methods for Complex Systems & Big Data

Hacker's Delight

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Python Using GPT-5 and Gemini

Quantum Machine Learning

Theory, Algorithms, and Practical Implementation

The Algorithmic Society

Technology, Power, and Knowledge

Quantum Searching and Optimization Algorithms

A Comprehensive Guide

Artificial Intelligence Programming with Python

From Zero to Hero

Artificial Intelligence for Art Creation and Understanding

Multimedia Computing, Communication and Intelligence

This product is categorised by