本发明公开了一种基于VSCode的形式化云平台方法与装置，与传统的IDE相比，免去了提前安装、配置参数的麻烦，用户只需良好的网络和合适的设备就能使用，便于形式化领域工作的开展和共享；与市面上已有的IDE产品相比，本发明专注于形式化领域，能满足形式化方法的编程需要，提高形式化工作的效率；支持多种形式化语言，支持同一种IDE的多个版本，覆盖面广；VSCode对插件的支持便于开发更多功能，可扩展性强；VSCode支持与多个形式化方法集成开发环境通信，集成开发环境完成证明，因而通过VSCode能完成多种形式化语言的证明工作。