|
|||||
|
|
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 |
|
| Authors: | Jensen Peter Gjøl Neele Thomas |
| Affiliation: | 1.Aalborg University, Aalborg, Denmark ;2.Eindhoven University of Technology, Eindhoven, Netherlands ; |
| Abstract: | This special issue contains six revised and extended versions of tool papers that appeared in the proceedings of TACAS 2021, the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The issue is dedicated to the realization of algorithms in tools and the studies of the application of these tools for analysing hard- and software systems. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |