Abstract
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.
Similar content being viewed by others
References
Valman A (2005) What the small Rubik’s cube taught me about data structures, information theory, and randomisation
Schmidt K (2005) Automated generation of a progress measure for the sweep-line method
Behrmann G, Bouyer P, Larsen KG, Pelánek R (2005) Lower and upper bounds in zone-based abstractions of timed automata
Younes HLS, Kwiatkowska M, Norman G, Parker D (2005) Numerical vs. statistical probabilistic model checking
Groce Ă, Chaki S, Kroening D, Strichman O (2005) Error explanation with distance metrics
Sen K, Roşu G, Agha G (2005) Online efficient predictive safety analysis of multithreaded programs
Fang Y, Piterman N, Pnueli A, Zuck L (2005) Liveness with invisible ranking
Robby, Rodriguez E, Dwyer MB, Hatcliff J (2005) Checking JML Specification Using an Extensible Software Model Checking Framework
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jensen, K., Podelski, A. Tools and algorithms for the construction and analysis of systems. Int J Softw Tools Technol Transfer 8, 177–179 (2006). https://doi.org/10.1007/s10009-006-0221-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-006-0221-5