|
|||||
|
|
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020 |
|
| Authors: | Biere Armin Parker David |
| Affiliation: | 1.Albert-Ludwigs University, Freiburg, Germany ;2.School of Computer Science, University of Birmingham, Birmingham, UK ; |
| Abstract: | This special issue of Software Tools for Technology Transfer comprises extended versions of selected papers from the 26th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020). The focus of this conference series is tools and algorithms for the rigorous analysis of software and hardware systems, and the papers in this special cover the spectrum of current work in this field. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |