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

Algorithms in C, Parts 1-4

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

Artificial Intelligence Programming with Python

From Zero to Hero

Introduction to Machine Learning with Python

A Guide for Data Scientists

Data Science from Scratch

First Principles with Python

Code Dependent

Living in the Shadow of AI

Addiction by Design

Machine Gambling in Las Vegas

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Computational Intelligence

River Publishers Series in Mathematical, Statistical and Computational Modelling for Engineering

Algorithms, Artificial Intelligence and Beyond

Theorising Society and Culture of the 21st Century

Artificial Intelligence for Intelligent Systems

Fundamentals, Challenges, and Applications

Artificial Intelligence for Science and Engineering Applications

Artificial Intelligence in Forecasting

Tools and Techniques

Artificial Intelligence in Medicine

Big Data and Edge Intelligence for Enhanced Cyber Defense

Principles and Research

Computational Approaches in Biomaterials and Biomedical Engineering Applications

Emerging Trends in Biomedical Technologies and Health informatics

Computational Approaches in Biotechnology and Bioinformatics

Emerging Trends in Biomedical Technologies and Health informatics

Contentious Data in Movement

Data-Driven Modelling with Fuzzy Sets

Embracing Uncertainty

Data-Driven Modelling with Fuzzy Sets

A Neutrosophic Perspective

Digital Transformation with AI and Smart Servicing Technologies for Sustainable Rural Development

Intelligent Quantum Information Processing

Quantum Machine Intelligence

Metaheuristic Algorithms

Theory and Practice

This product is categorised by