PVSio-网 swMATH ID: 11949 软件作者： Patrick Oladimeji、Paolo Masci、Paul Curzon、Harold Thimbleby 描述： PVSio-web：PVS中用于快速原型设备用户界面的工具。我们提出了PVSio-web，它扩展了PVS验证系统的模拟组件，并具有快速原型设备用户界面的功能。该工具表现为一个经典的图像编辑环境，具有区域选择和超链接创建等功能，从而减少了妨碍正规方法中的非专业人员使用PVS的障碍。设计师加载正在开发的设备用户界面的布局图片，在布局上指定交互区域，并将其链接到PVS规范。然后，他们可以通过点击交互来探索正式用户界面规范的行为。该工具的体系结构是通用的，可以作为扩展其他验证工具的基础。通过一个基于商业医疗设备用户界面的示例，演示了PVSio-web的功能。我们的最终目标是在开发设备用户界面时促进和便利正式验证工具的使用。 主页： https://www.npmjs.com/package/pvsio-web 相关软件： 操纵器;杂交Sal;HSolver公司;科学实验室;Uppaal公司;基准;RSOLVER公司;NuSMV公司;凯伊迈拉;PVS公司;科科斯;伊莎贝尔/HOL;Coq公司;模型案例;在轨;E定理证明器;赫茨;SPASS公司;CASL公司 引用于： 2文件 4位作者引用 1 辛齐亚·伯纳德斯基 1 安德烈亚·多梅尼奇 1 菲利普·詹姆斯 1 马库斯·罗根巴赫 2篇连载文章中引用 1 信息处理信件 1 计算机科学中的数学 在2个字段中引用 2 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文