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
- Jiri Barnat, Lubos Brim, Pavel Simecek, M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
48-62
Electronic Edition (link) BibTeX
- Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin:
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking.
63-77
Electronic Edition (link) BibTeX
- Adam Bakewell, Dan R. Ghica:
On-the-Fly Techniques for Game-Based Software Model Checking.
78-92
Electronic Edition (link) BibTeX
- Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar:
Computing Simulations over Tree Automata.
93-108
Electronic Edition (link) BibTeX
Applications
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)
