12. TACAS 2006:
Vienna,
Austria (Part of ETAPS 2006)
Holger Hermanns, Jens Palsberg (Eds.):
Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings.
Lecture Notes in Computer Science 3920 Springer 2006, ISBN 3-540-33056-9 BibTeX
Invited Contributions
Parametrization and Slicing
- Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta:
Automatic Verification of Parameterized Data Structures.
27-41
Electronic Edition (link) BibTeX
- Ping Yang, Samik Basu, C. R. Ramakrishnan:
Parameterized Verification of pi-Calculus Systems.
42-57
Electronic Edition (link) BibTeX
- Geoffrey M. Brown, Lee Pike:
Easy Parameterized Verification of Biphase Mark and 8N1 Protocols.
58-72
Electronic Edition (link) BibTeX
- Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Prasad Ranganath, Robby, Todd Wallentine:
Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs.
73-89
Electronic Edition (link) BibTeX
Symbolic Techniques
Satisfiability
Abstraction
Model Checking Algorithms
Program Verification
Runtime Diagnostics
Quantitative Techniques
Tool Demonstrations
- Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: A Tool for Automatic Verification of Probabilistic Systems.
441-444
Electronic Edition (link) BibTeX
- Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier:
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.
445-449
Electronic Edition (link) BibTeX
- Alessio Lomuscio, Franco Raimondi:
MCMAS: A Model Checker for Multi-agent Systems.
450-454
Electronic Edition (link) BibTeX
- Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz:
MSCan - A Tool for Analyzing MSC Specifications.
455-458
Electronic Edition (link) BibTeX
Refinement
Copyright © Sat May 16 23:43:27 2009
by Michael Ley (ley@uni-trier.de)