同步安全验证方法、装置、设备及介质

本公开公开了同步安全验证方法、装置、设备及介质，涉及计算机领域，尤其涉及人工智能与程序安全验证技术领域。首先获取目标算子、其对应的约束集合以及目标算子执行的多个管控操作，然后基于多个管控操作以及约束集合，构建目标算子的操作同步依赖图，并基于操作同步依赖图，对目标算子进行同步依赖检查，获得检查结果，之后对目标算子进行搬运压力测试以及边界合规测试，分别获得对应的第一测试结果以及第二测试结果，最后在检查结果、第一测试结果以及第二测试结果均通过的情况下，确定目标算子通过同步安全验证。