时间测试工具奖

ETAPS社区的工具在过去几年中证明了其影响力和质量，并获得了测试工具奖。

承认可靠且维护良好的研究工具和它们的创建和维护需要付出巨大努力，ETAPS设立了一个研究工具测试奖对我们社区的持久影响。

为此，奖项委员会正在征集奖项提名。

有资格获得该奖项的工具应至少使用5年，从与它必须与ETAPS有明确而重要的联系。提名模板提供了更多详细信息和选项。可以自行提名。

请将您的提名发送至奖励委员会通过2024年3月1日（任何时区）将提名文本附在提供的模板.

颁奖委员会将根据该工具对社区的持久影响，从提名中选择一种研究工具。

提名有效期为5年，即一旦提名，将重新考虑工具。

该奖项将在ETAPS 2023首次颁发。获奖者将获得奖励证书和1000欧元的无限制礼品，并有机会在ETAPS上展示该工具。

2024

更多较少的

PRISM是一种概率模型检查器。在过去的25年里，牛津大学一直在开发和维护它年。

正是该软件工具证明了概率模型检查的可行性。而且易于使用。易于安装。并且适用于非常广泛的问题。从以太坊智能合约到核糖体动力学。

该工具的核心是支持具有随机或概率行为的系统的形式化建模和分析，它可以分析了一系列基于马尔可夫链和概率自动机的模型。到目前为止，它具有许多扩展功能，得到了积极维护，并广泛应用于各种社区不知道ETAPS。

PRISM是根据开源许可证发布的。该软件工具是积极开发的，显示了18个代码贡献者。描述该工具的出版物对许多研究项目产生了相当大的影响。总之，奖项委员会希望认可这一出色的工具以及PRISM对ETAPS的贡献研究社区授予它第二个ETAPS测试时间工具奖。

获奖开发商是我们社区的三位杰出成员。恭喜你！

Dirk Beyer（主席）、Stefan Winter、Andrzej Wąsowski、Holger Hermanns、Vasco Vasconcelos、Anton Wijs

2023

更多较少的

CADP是一个源自VERIMAG的验证工具箱，多年来一直在INRIA Grenoble开发。工具箱由40多个相互连接的组件组成，这些组件共同支持构建、验证和并发系统的测试。CADP的发展历史超过三十年（甚至更早这是我们社区最早开发的工具之一。

然而，它是非常积极和专业的开发，具有空中客车公司的大量工业用例ETAPS上发布了各种描述工具进步的出版物。

因此，委员会希望承认这一巨大的研究和工程努力，以及CADP对ETAPS社区授予它有史以来第一个测试时间工具奖。

德克·拜尔（主席）、斯特凡·温特、安德烈·索夫斯基、霍尔格·赫尔曼斯、布里吉特·皮恩特卡、安东·威伊斯

提名征集