The Termination Competition
The Termination Competition
复制标题
终止竞争
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
H. Zantema
中科院分区：
文献类型：
--
作者：
C. Marché;H. Zantema
自2004年以来，每年都会举办一场终止竞赛。这项竞赛大大提高了自动终止工具的开发，也可以设计用于证明终止的新技术。我们介绍了三个第一版的背景，结果和结论，并讨论了未来的观点和挑战。
Since 2004, a Termination Competition is organized every year. This competition boosted a lot the development of automatic termination tools, but also the design of new techniques for proving termination. We present the background, results, and conclusions of the three first editions, and discuss perspectives and challenges for the future.