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).
| Original language | English |
|---|---|
| Pages (from-to) | 685-687 |
| Number of pages | 3 |
| Journal | International journal on software tools for technology transfer |
| Volume | 22 |
| Issue number | 6 |
| Early online date | 13 Jul 2020 |
| DOIs | |
| Publication status | Published - Dec 2020 |
| Event | 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018 - Makedonia Palace, Thessaloniki, Greece Duration: 14 Apr 2018 → 20 Apr 2018 Conference number: 24 https://etaps.org/2018/tacas |
Keywords
- Safety analysis
- Quantitative analysis
- Deductive verification
- Statistical model checking
- Runtime analysis
- Refinement
- Reactive system
- Cyber-physical system
- Weak-memory model
- Hyperproperty