Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings - Lecture Notes in Computer Science 2031 (Paperback)Tiziana Margaria (editor), Wang Yi (editor)
- We can order this
The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 594
Weight: 1860 g
Dimensions: 235 x 155 x 31 mm
Edition: 2001 ed.
You may also be interested in...
Please sign in to write a review