[发明专利]一种基于VS Code的形式化云平台方法与装置在审
| 申请号： | 202210998125.2 | 申请日： | 2022-08-19 |
| 公开（公告）号： | CN115328481A | 公开（公告）日： | 2022-11-11 |
| 发明（设计）人： | 赵永望;许浩;王星原;任奎 | 申请（专利权）人： | 浙江大学;浙江大学嘉兴研究院 |
| 主分类号： | G06F8/38 | 分类号： | G06F8/38;G06F8/71;G06F8/34;G06F8/33 |
| 代理公司： | 杭州中成专利事务所有限公司 33212 | 代理人： | 李亦慈;唐银益 |
| 地址： | 310058 浙江*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于VSCode的形式化云平台方法与装置，与传统的IDE相比，免去了提前安装、配置参数的麻烦，用户只需良好的网络和合适的设备就能使用，便于形式化领域工作的开展和共享；与市面上已有的IDE产品相比，本发明专注于形式化领域，能满足形式化方法的编程需要，提高形式化工作的效率；支持多种形式化语言，支持同一种IDE的多个版本，覆盖面广；VSCode对插件的支持便于开发更多功能，可扩展性强；VSCode支持与多个形式化方法集成开发环境通信，集成开发环境完成证明，因而通过VSCode能完成多种形式化语言的证明工作。 | ||
| 搜索关键词： | 一种 基于 vs code 形式化 平台 方法 装置 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浙江大学;浙江大学嘉兴研究院，未经浙江大学;浙江大学嘉兴研究院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202210998125.2/，转载请声明来源钻瓜专利网。
