dblp.uni-trier.de www.uni-trier.de

14. TACAS 2008: Budapest, Hungary (Part of ETAPS 2008)

C. R. Ramakrishnan, Jakob Rehof (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4963 Springer 2008, ISBN 978-3-540-78799-0 BibTeX

Invited Talk

Parameterized Systems

Model Checking - I


Model Checking - II

Static Analysis

Concurrent/Distributed Systems

Tools - I

Symbolic Execution

Abstraction, Interpolation

Tools - II

Trust, Reputation

Copyright © Sat May 16 23:43:27 2009 by Michael Ley (ley@uni-trier.de)