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

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

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

Addiction by Design

Machine Gambling in Las Vegas

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Heuristic Algorithms Design

A Methodological Approach

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

Artificial Intelligence Programming with Python

From Zero to Hero

Introduction to Machine Learning with Python

A Guide for Data Scientists

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Spark

Lightning-Fast Data Analytics

Code Dependent

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

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Computer Science Why

Answers to Computer Science Questions They Don't Cover in Class

Applied Data Science in FinTech

Models, Tools, and Case Studies

Applied Data Science in FinTech

Models, Tools, and Case Studies

Bioengineering and IoT

Shaping the Future of Healthcare

Tiny Machine Learning Techniques for Constrained Devices

New Storytelling

Learning through Metaphors

BioMed Bots Assurance

Securing Robotics, Healthcare, and IT Convergence

Uncertain Data Analysis

Fuzzy Vector Algorithms

Uncertain Data Analysis

Fuzzy Vector Algorithms

Python 3 Using DeepSeek

Measurements and Instrumentation for Machine Vision

Fundamentals of Data Structures and Algorithms

This product is categorised by