My Wish Lists Login / Join

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

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

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 Algorithms & Data Structures Programming & Scripting Languages Computer Science Computer Architecture & Logic Design Compilers & Interpreters

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

Python Using GPT-5 and Gemini

Addiction by Design â" Machine Gambling in Las Vegas

Machine Gambling in Las Vegas

Algorithms in C, Parts 1-4

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

Python Using GPT-5 and Gemini

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Code Dependent

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

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

Learning Algorithms

A Programmer's Guide to Writing Better Code

Python for Algorithmic Trading

From Idea to Cloud Deployment

Introduction to Machine Learning with Python

A Guide for Data Scientists

Head First Algorithms and Data Structures

A Learner's Guide to the Foundations of Computing

Quantum Searching and Optimization Algorithms

A Comprehensive Guide

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

AI Development

How Tech Leaders Can Build and Deploy Useful AI

AI Development

How Tech Leaders Can Build and Deploy Useful AI

Quantum Machine Learning

Theory, Algorithms, and Practical Implementation

Considerations on the AI Endgame

Ethics, Risks and Computational Frameworks

Quick Data Structures

Quick Programming

Hacker's Delight

Artificial Intelligence Programming with Python

From Zero to Hero

Ciphers, Fractals, and Fibonacci

Exploring Math with Python

Deep Learning with R, Third Edition

Modern Numerical Nonlinear Optimization

Springer Optimization and Its Applications

This product is categorised by