Abstract
This special issue of Software Tools for Technology Transfer presents extended versions of two selected papers from the 23rd edition of TACAS, the International Conference on Tools and Algorithms for the Construction and Analysis of Systems that took place in April 2017 in Uppsala. The papers included in this special issue concern various aspects of automated design and formal verification; they therefore contribute to the development of more reliable computer systems.
| Original language | English |
|---|---|
| Pages (from-to) | 611-612 |
| Number of pages | 2 |
| Journal | International Journal on Software Tools for Technology Transfer |
| Volume | 24 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - Aug 2022 |
Keywords
- Algorithm analysis and problem complexity
- Computer programming languages
- Computer software selection and evaluation
- Distributed computer systems
- Formal logic
- Markov decision processes
- Model checking
- Program compilers
- Semantics
- Software engineering
- Specifications
- Static analysis
- Temporal logic
- Verification