Tools and algorithms for the construction and analysis of systems |
| |
Authors: | Kurt Jensen Andreas Podelski |
| |
Affiliation: | (1) Department of Computer Science, University of Aarhus, 8000 Aarhus C, Denmark;(2) Max-Planck-Institut Saarbrücken, Germany |
| |
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. |
| |
Keywords: | Tools Verification State spaces Model-checking Program analysis Safety analysis Error explanation |
本文献已被 SpringerLink 等数据库收录! |
|