My Wish Lists Login / Join

Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, Tacas 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings - Holger Hermanns

Instant online reading.
Don't wait for delivery!

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, Tacas 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

By: Holger Hermanns (Editor), Jens Palsberg (Editor)

Write A Review

Paperback | 15 March 2006

At a Glance

Paperback
526 Pages

Dimensions(cm)
22.86 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

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 Science Systems Analysis & Design Computer Architecture & Logic Design Computer Networking & Communications Computer Programming & Software Development Software Engineering Computer Hardware Network Hardware Algorithms & Data Structures

Weighted pushdown systems and trust-management systems	p. 1
Automatic verification of parameterized data structures	p. 27
Parameterized verification of [pi]-calculus systems	p. 42
Easy parameterized verification of biphase mark and 8N1 protocols	p. 58
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs	p. 73
New metrics for static variable ordering in decision diagrams	p. 90
Widening ROBDDs with prime implicants	p. 105
Efficient guided symbolic reachability using reachability expressions	p. 120
SDSAT : tight integration of small domain encoding and lazy approaches in a separation logic solver	p. 135
SAT-based software certification	p. 151
Expressiveness + automation + soundness : towards combining SMT solvers and interactive proof assistants	p. 167
Exploration of the capabilities of constraint programming for software verification	p. 182
Counterexample-guided abstraction refinement for the analysis of graph transformation systems	p. 197
Why waste a perfectly good abstraction?	p. 212
Efficient abstraction refinement in interpolation-based unbounded model checking	p. 227
Approximating predicate images for bit-vector logic	p. 242
Finitary winning in [omega]-regular games	p. 257
Efficient model checking for LTL with partial order snapshots	p. 272
A local shape analysis based on separation logic	p. 287
Compositional model extraction for higher-order concurrent programs	p. 303
A region graph based approach to termination proofs	p. 318
Verifying concurrent message-passing C programs with recursive calls	p. 334
Automata-based verification of programs with tree updates	p. 350
An experimental comparison of the effectiveness of control flow based testing approaches on seeded faults	p. 365
Exploiting traces in program analysis	p. 379
Model-checking Markov chains in the presence of uncertainties	p. 394
Safety metric temporal logic is fully decidable	p. 411
Simulation-based graph similarity	p. 426
PRISM : a tool for automatic verification of probabilistic systems	p. 441
DISTRIBUTOR and BCGöMERGE : tools for distributed explicit state space generation	p. 445
MCMAS : a model checker for multi-agent systems	p. 450
MSCan - a tool for analyzing MSC specifications	p. 455
A practical and complete approach to predicate refinement	p. 459
Counterexample driven refinement for abstract interpretation	p. 474
Abstraction refinement with Craig interpolation and symbolic pushdown systems	p. 489
Table of Contents provided by Blackwell. All Rights Reserved.

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, Tacas 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2006, Vienna, Austria, March 25 - April 2, 2006, 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

Learning Algorithms

A Programmer's Guide to Writing Better Code

Python for Algorithmic Trading

From Idea to Cloud Deployment

Code Dependent

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

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Code Dependent

Living in the Shadow of AI

How to Prove It

A Structured Approach

Hacker's Delight

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Explainable Artificial Intelligence and Interpretable Machine Learning in Education

A Researcher's Guide to Data Science

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

Data-Driven Modeling & Scientific Computation

Methods for Complex Systems & Big Data

Recursion

Mathematics and Python

Artificial Intelligence for Art Creation and Understanding

Multimedia Computing, Communication and Intelligence

The Algorithmic Society

Technology, Power, and Knowledge

Quantum Searching and Optimization Algorithms

A Comprehensive Guide

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Python Using GPT-5 and Gemini

Quantum Machine Learning

Theory, Algorithms, and Practical Implementation

Reset

Reclaiming the Internet for Civil Society

This product is categorised by