ausblenden:
Schlagwörter:
-
Zusammenfassung:
This special section contains the revised and expanded versions of eight of the
papers from the 10th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS) held in March/April 2004 in
Barcelona, Spain. The conference proceedings appeared as volume 2988 in the
Lecture Notes in Computer Science series published by Springer. TACAS is a
forum for researchers, developers and users interested in rigorously based
tools for the construction and analysis of systems. The conference serves to
bridge the gaps between different communities – including but not limited to
those devoted to formal methods, software and hardware verification, static
analysis, programming languages, software engineering, real-time systems, and
communications protocols – that share common interests in, and techniques for,
tool development. Other more theoretical papers from the conference are
collected in a special section of the Theoretical Computer Science journal.