Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER（2022）
摘要
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.
更多查看译文
关键词
Software verification,Theorem proving,Model checking,Static analysis,Runtime verification,Probabilistic verification,Compositional verification,Symbolic execution,Concurrent systems,Formal specification techniques,SAT and SMT solving,Tool environments and tool architectures,Software engineering and maintenance
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要