Tools for software verification: Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems

被引：0

作者：

Abdulla P.A. ^{[1
]}

Leino K.R.M. ^{[2
]}

机构：

[1] Department of Information Technology, Uppsala University, Uppsala

[2] Microsoft Research, Redmond

来源：

International Journal on Software Tools for Technology Transfer | 2013年 / 15卷 / 2期

关键词：

Automata theory; Model checking; Protocol verification; Software verification;

D O I：

10.1007/s10009-013-0270-5

中图分类号：

学科分类号：

摘要：

Developing tools that are able to perform automatic verification on realistic models of software systems is one of the main challenges facing the formal methods community. We briefly review the research area and introduce three papers selected from the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (tacas 2011). © 2013 Springer-Verlag Berlin Heidelberg.

引用

页码：85 / 88

页数：3

共 50 条

[1] Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)
Baier, Christel
Tinelli, Cesare
[J]. ACTA INFORMATICA, 2017, 54 (08) : 727 - 728
[2] Introduction to the Special Section on Software Tools for Vehicle Routing
Kullman, Nicholas D.
Mendoza, Jorge E.
Ralphs, Ted K.
[J]. INFORMS JOURNAL ON COMPUTING, 2024, 36 (04) : 941 - 942
[3] Tools and algorithms for the construction and analysis of systems
Kurt Jensen
Andreas Podelski
[J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (3) : 177 - 179
[4] Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Biere, Armin
Parker, David
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (05) : 663 - 665
[5] Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019
Tomáš Vojnar
Lijun Zhang
[J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 29 - 31
[6] Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020
Armin Biere
David Parker
[J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 663 - 665
[7] Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019
Vojnar, Tomas
Zhang, Lijun
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (01) : 29 - 31
[8] Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Legay, Axel
Margaria, Tiziana
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (04) : 611 - 612
[9] Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
Axel Legay
Tiziana Margaria
[J]. International Journal on Software Tools for Technology Transfer, 2022, 24 : 611 - 612
[10] Guest Editors' Introduction to the Special Section from the International Conference on Software Maintenance
Canfora, Gerardo
Tahvildari, Ladan
Mueller, Hausi A.
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (04) : 450 - 451

← 1 2 3 4 5 →