CVPP公司 swMATH ID: 179 软件作者： 赫斯曼（Marieke Huisman）；迪莉安·古罗夫 描述： 本文介绍了CVPP，这是一个用于程序控制流安全属性的组合验证的工具集。构成CVPP基础的成分验证原则基于根据组件规范构建的最大模型。在验证整个程序时，最大模型会替换实际组件，无论是出于验证模块化的目的，还是由于验证时组件实现不可用。原理和工具集的一个特征是程序结构和行为之间的区别。虽然行为属性更抽象，更便于规范，但结构属性更易于操作，尤其是在验证或构建最大模型时。因此，CVPP还包含通过一组结构公式表征给定行为公式的方法。本文介绍了组合验证的底层框架和工具集的组件。本文描述了几个验证场景，以及支持自动执行这些场景的包装器工具，提供了适当的预处理和后处理，以便与用户平滑交互并封装工具集的内部工作。 主页： 网址：http://www.csc.kth.se/~siavashs/cvpp/cvpp.html 相关软件： MAVEN公司;班德拉;Uppaal公司;自旋蛋白;时间;轻便摩托车;ProMoVer公司;萨维亚;规格# 引用于： 7文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 CVPP：用于控制流安全特性成分验证的工具集。 Zbl 1308.68042号玛丽克·赫斯曼;古罗夫，帝力 2011 全部的 前5名12位作者引用 2 古罗夫，帝力 2 马里克，Huisman 2 拉菲克马里兰州伊斯兰 1 阿里·科尔班 1 托马斯·博格霍姆 1 乌列尔·费格 1 Khot，Subhash味精 1 莱思，孤独 1 卡斯珀·瑟·勒科夫 1 丹尼尔·米恰尼西奥 1 Siavash Soleimanifard公司 1 本特·汤姆森 2篇连载文章中引用 2 巴基斯坦统计杂志 1 计算机与系统科学杂志 在4个字段中引用 5 计算机科学（68至XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数论（11-XX） 1 统计学（62-XX） 按年份列出的引文