pvsio-web:使用websockets连接到pvsio进程并与之通信JavaScript库-源码

PVSio网络 PVSio-web是用于对用户界面软件进行原型设计和分析的新图形工具。 它提供了动画环境的典型功能，使设计人员可以加载和模拟逼真的用户界面。 在下面，它使用SRI的最先进的定理证明者PVS进行分析，并使用pvsio组件作为仿真的基础。 可以在此youtube视频观看使用PVSio-web创建的模拟 消息 （2021年4月）正在开发新版本的PVSio-web，该版本引入了改进的体系结构和新功能，例如动态加载小部件库。 新版本将集成到，这是用于PVS验证系统的现代开发环境。 请随时关注更新！ 现场版 使用PVSio-web创建的逼真的原型可以在以下链接中找到： 的通用输液泵原型-完整模型） （商业患者监护仪-仅限监护模式） （商业输液泵原型-完整模型） （商业输液泵原型-仅数据输入系统） 在上也可以使用功能有限的完整PVSio-web工具（请注意，Web服务