Verification, Model Checking, and Abstract Interpretation : 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings - Andreas Podelski

Instant online reading.
Don't wait for delivery!
Go digital and save!

Verification, Model Checking, and Abstract Interpretation

8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

By: Andreas Podelski (Editor), Byron Cook (Editor)

Write A Review

Paperback | 3 January 2007

At a Glance

Paperback
412 Pages

Dimensions(cm)
23.5 x 15.5 x 2.13

Paperback

$144.75

or 4 interest-free payments of $36.19 with

or

Ships in 10 to 15 business days

The book constitutes the refereed proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007. This event was co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with three invited lectures and three invited tutorials were carefully reviewed and selected from a total of 85 submissions.

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.

More in Compilers & Interpreters

Java in Two Semesters : Includes JavaFX - Aaron Kans

$15.19

20%
OFF

Flex & Bison

O'Reilly Ser.

Multi-Item Pack

RRP $57.00

$45.60

20%
OFF

Pragmatic Programmers : Pragmatic Programmers - Terence Parr

$15.75

51%
OFF

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Paperback

RRP $87.35

$41.75

52%
OFF

Clean Ruby : A Guide to Crafting Better Code for Rubyists - Carleton DiLeo

$276.75

Compilers: Pearson New International Edition 2ed : Principles, Techniques, and Tools - Alfred Aho

$75.75

14%
OFF

Bad Programming Practices 101 : Become a Better Coder by Learning How (Not) to Program - Karl Beecher

$69.75

Practical Marko : Progressive HTML Rendering and Micro Front-Ends - Damodaran Chingleput Sathyakumar

$28.75

Graph Transformation : 19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings - Blair Archibald

$59.75

Pro Spring Boot 4 : An Authoritative Guide with Best Practices - DaShaun Carter

$240.75

Artificial Intelligence Through Search

Diverse Ser.

Hardcover

$399.75

DIVINE : discovering variables IN executables	p. 1
Verifying compensating transactions	p. 29
Model checking nonblocking MPI programs	p. 44
Model checking via äTCFA	p. 59
Using first-order theorem provers in the Jahob data structure verification system	p. 74
Interpolants and symbolic model checking	p. 89
Shape : analysis of single-parent heaps	p. 91
An inference-rule-based decision procedure for verification of heap-manipulating programs with mutable data and cyclic data structures	p. 106
On flat programs with lists	p. 122
Automata-theoretic model checking revisited	p. 137
Language-based abstraction refinement, for hybrid system verification	p. 151
More precise partition abstractions	p. 167
The spotlight principle	p. 182
Lattice automata	p. 199
Learning algorithms and formal verification	p. 214
Constructing specialized shape analyses for uniform change	p. 215
Maintaining doubly-linked list invariants in shape analysis with local reasoning	p. 234
Automated verification of shape and size properties via separation logic	p. 251
Towards shape analysis for device drivers	p. 267
An abstract domain extending difference-bound matrices with disequality constraints	p. 268
Cibai : an abstract interpretation-based static analyzer for modular analysis and verification of Java classes	p. 283
Symmetry and completeness in the analysis of parameterized systems	p. 299
Better under-approximation of programs by hiding variables	p. 314
The constraint database approach to software verification	p. 329
Constraint solving for interpolation	p. 346
Assertion checking unified	p. 363
Invariant synthesis for combined theories	p. 378
Table of Contents provided by Blackwell. All Rights Reserved.

Verification, Model Checking, and Abstract Interpretation

8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Java in Two Semesters

Includes JavaFX

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison

O'Reilly Ser.

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Clean Ruby

A Guide to Crafting Better Code for Rubyists

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

8th International Workshop, EXTRAAMAS 2026, Paphos, Cyprus, May 25-26, 2026, Revised Selected Papers

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Crafting Interpreters

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings

Exploring Rego

Declarative policy for the modern cloud

Pro Spring Boot 4

An Authoritative Guide with Best Practices

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Artificial Intelligence Through Search

Diverse Ser.

This product is categorised by