软件搜索-zbMATH Open

VeriMAP公司

swMATH ID:	22866
软件作者：	De Angelis E、Fioravanti F、Pettorossi A、Proietti M
描述：	VeriMAP：转换辅助喇叭条款验证。VeriMAP是一种支持CHC软件验证器的工具。VeriMAP能够：（i）生成验证问题的CHC编码，以及（ii）通过应用CHC变换提高CHC求解器的有效性和效率。该工具在很大程度上是与编写程序和待验证属性的语言相关的参数化工具，并允许用户利用在约束逻辑编程和SMT求解领域开发的非常有效的技术和工具
主页：	http://map.uniroma2.it/VeriMAP/
相关软件：	z3（零3）;跟踪器;SeaHorn公司;CVC4型;垫片;陆军装备司令部;高铁;拉赫夫特;数学SAT5;布吉;CiaoPP公司;Ciao公司;斯卡拉;应用程序;数据日志;螺纹加工工;不明飞行物;水银;OCaml公司;PVS公司
引用于：	13文件

1出版物描述软件	年份
Verimap：通过转换验证程序的工具 De Angelis，Emanuele；费奥拉万蒂（Fabio Fioravanti）；阿尔贝托·佩特罗西；毛里齐奥·普罗埃蒂	2014

6	伊曼纽尔·德·安吉利斯
6	法比奥·菲奥拉万蒂
6	毛里齐奥·普罗埃蒂
5	阿尔贝托·佩特罗西
2	约翰·加拉赫（John P.Gallagher）。
2	比肖克桑·卡夫
1	尼古拉·S·比约纳。
1	Bohlender，迪米特里
1	弗朗西斯科·卡利默里
1	格雷姆·恒河
1	皮埃尔·甘蒂
1	伊莎贝尔·加西亚·孔特雷拉斯
1	阿里·古芬克尔
1	曼努埃尔五世（Manuel V.Hermenegildo）。
1	斯特凡·科瓦列夫斯基
1	埃琳娜·马斯特里亚
1	肯尼思·麦克米兰。
1	Maria Chiara Meo女士
1	何塞·弗朗西斯科·莫拉莱斯
1	豪尔赫·纳瓦斯（Jorge A.Navas）。
1	西蒙娜·佩里
1	安德烈·里巴尔琴科
1	彼得·沙赫特
1	哈拉尔德·森德加德
1	彼得·詹姆斯·斯塔基
1	Jessica Zangari