一种形式化建模方法、装置、电子设备及存储介质

本发明公开了一种形式化建模方法、装置、电子设备及存储介质，方法包括：通过获取场景架构数据，所述场景架构数据用于描述场景里的物理实体及实体间的信息交互关系；根据所述场景架构数据完成形式化建模过程，最终得到描述场景与架构的可验证形式化模型。本发明实施例能够提高通过模型检查技术判定性质在状态空间的可达性，并提高获取系统状态空间与执行迹的精度和准确性，可广泛应用于计算机技术领域。