×

VeriFun公司

swMATH ID: 22187
软件作者： 克里斯托夫·沃尔特；斯蒂芬·施韦策
描述： VeriFun是一个推理系统，用于验证用简单函数语言编写的程序语句。它被设计和开发为一个易于学习和易于使用的系统，用于教学自动推理、语义、验证和类似主题，在达姆施塔特理工大学大约15年来一直用于形式方法的初学者课程以及程序验证的实践课程。
主页： https://verifun.jimdo.com/about-verifun网址/
相关软件： ACL2型；哈斯克尔；Coq公司；伊莎贝尔/HOL；AProVE公司；斯派克；蒂罗尔（Tyrolean）；简化；github；NQTHM公司；伊莎贝尔；存档正式证据；IMPS公司；霍尔；毫升；HasCasl公司；版次；A3PAT飞机；CeTA公司；VeriFast公司
引用于： 10文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
推理未完全定义的程序。 Zbl 1143.68368号
克里斯托夫·沃尔特；斯蒂芬·施韦策
2005
全部的 前5名

18位作者引用

三 克里斯托夫·沃尔特
2 马库斯·阿德霍尔德
2 卡斯滕·福斯
2 吉尔根·吉斯尔
2 分手，迈克尔
2 彼得·施奈德·坎普
2 斯威德斯基，斯蒂芬
1 贡德，迈克尔
1 Leino，K.Rustan M。
1 马丹拉尔·穆苏瓦蒂
1 大卫·萨贝尔
1 安德烈亚斯·施洛瑟
1 曼弗雷德·施密特·沙乌
1 斯蒂芬·施韦策
1 阿隆·斯塔姆
1 内森·瓦瑟
1 Xi，宏伟
1 格雷塔·约什

2篇连载文章中引用

三 自动推理杂志
1 理论计算机科学电子笔记

在4个字段中引用

10 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 总体主题；集合（00-XX）
1 数论（11-XX）

按年份列出的引文