本发明提供一种形式验证的方法、系统、设备和存储介质，方法包括：使用通用的模板语法规则描述每种工作模式的模板文件，并创建用户自定义文件；响应于所述用户自定义文件接收到工作模式信息，根据工作模式产生对应的形式验证框架；调用所述工作模式所对应的模板文件并将所述模板文件存放在所述形式验证框架所对应的目录中；以及在形式验证环境的顶层将整个环境的文件关系进行连接以形成整体的框架，并使用所述框架进行形式验证。本发明针对不同的形式验证工作模式生成对应的验证平台框架，在提高验证效率的同时，不仅提高了验证环境的可复用性，还缩短了验证周期。