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

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

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

How to Prove It

A Structured Approach

Code Dependent

Living in the Shadow of AI

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Code Dependent

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

Computational Modelling with Single Prompts

Series in Computational Physics

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Reconceiving AI

The World as an Apple or a Blue Orange

Reconceiving AI

The World as an Apple or a Blue Orange

Coding Theory, Cryptography, and Finite Fields

Technology and Applications

Knowledge Graph and Semantic Web Technology based XAI

Knowledge Graph and Semantic Web Technology based XAI

Intersection of Machine Learning and Computational Social Sciences

Future Generation Information Systems

Data-Driven Modeling & Scientific Computation

Methods for Complex Systems & Big Data

The Metaverse

Hype or Hoax?

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

Social Network Analytics

Empowering Data Engineering with Deep Learning and Large Language Models

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

This product is categorised by