Let’s verify this with Why3

Let’s verify this with Why3
复制标题

让我们用 Why3 来验证一下

DOI：
--
复制
发表时间：
2014
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
通讯作者：
A. Paskevich
A. Paskevich
中科院分区：
--
文献类型：
--
作者：
François Bobot;J. Filliâtre;C. Marché;A. Paskevich

文献摘要

被引文献

相似文献

在2012年8月举行的第18届FM研讨会上，我们提出了VerifyThis竞赛的三个挑战的解决方案。这些解决方案使用Why3环境进行演绎程序验证。
We present solutions to the three challenges of the VerifyThis competition held at the 18th FM symposium in August 2012. These solutions use the Why3 environment for deductive program verification.