Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
1st Edition
Published on 18. March 2011
Book
Paperback/Softback
XVI, 394 pages
978-3-642-19834-2 (ISBN)
Description
This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
104 s/w Abbildungen, 30 farbige Abbildungen
XVI, 394 p. 134 illus., 30 illus. in color.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
621 gr
ISBN-13
978-3-642-19834-2 (9783642198342)
DOI
10.1007/978-3-642-19835-9
Schweitzer Classification
Other editions
Additional editions
Parosh Aziz Abdulla | K. Rustan M. Leino
Tools and Algorithms for the Construction and Analysis of Systems
17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
E-Book
03/2011
Springer
€53.49
Available for download