Tools And Algorithms For The Construction And Analysis Of System

Ramakrishnan,C.R., Rehof,J.

ISBN 10: 3540787992 / ISBN 13: 9783540787990

Published by Springer, 2008

About this Item

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-1300

Bibliographic Details

Title: Tools And Algorithms For The Construction ...

Publisher: Springer

Publication Date: 2008

Binding: Soft cover

Condition: New

About this title

Synopsis:

This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software. The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.