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).
Highlights
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]
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
This paper presents an encoding of weak-memory program logics using the existing deductive verification tool Viper
Summary
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. Huisman appear in the Journal of Automated Reasoning, containing selected papers with more theoretical results. The papers in this special issue all develop tool-supported analysis techniques.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
