Tools for the construction and analysis of systems
- PDF / 213,401 Bytes
- 3 Pages / 595.276 x 790.866 pts Page_size
- 50 Downloads / 179 Views
STTT TACAS 2018
Tools for the construction and analysis of systems A special issue for TACAS 2018 Dirk Beyer1
· Marieke Huisman2
© The Author(s) 2020
Abstract In order to develop reliable software and systems, we depend on practical techniques for the construction and analysis of such software and systems. This special issue of Software Tools for Technology Transfer presents various tool-supported techniques that can help with the construction and analysis of such reliable software and systems. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Keywords Safety analysis · Quantitative analysis · Deductive verification · Statistical model checking · Runtime analysis · Refinement · Reactive system · Cyber-physical system · Weak-memory model · Hyperproperty
1 TACAS This special issue of the journal Software Tools for Technology Transfer (STTT) contains revised and extended versions of five papers selected out of 45 papers accepted as regular research papers at the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018) [1,2]. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building systems. Topics that are of interest to TACAS are: • specification and verification techniques; • software and hardware verification;
B
Dirk Beyer [email protected]
1
LMU Munich, Oettingenstr. 67, 80538 Munich, Germany
2
University of Twente, P.O. Box 217, 7500 AE Enschede, Netherlands
• analytical techniques for real-time, hybrid, or stochastic systems; • analytical techniques for safety, security, or dependability; • SAT and SMT solving; • theorem-proving; • model-checking; • static and dynamic program analysis; • testing; • abstraction techniques for modeling and verification; • compositional and refinement-based methodologies; • system construction and transformation techniques; • machine-learning techniques for synthesis and verification; • tool environments and tool architectures; • applications and case studies.
2 This special issue The peer-reviewed papers collected in this special issue have been invited by the guest editors among the top papers presented at TACAS 2018 based on their relevance to STTT. They all report on tools and tool sets that advance the construction and analysis of software systems. In addition to this special issue, a companion special issue for TACAS 2018 will
123
D. Beyer, M. Huisman
appear in the Journal of Automated Reasoning, containing selected papers with more theoretical results. The papers in this special issue all develop tool-su
Data Loading...
