本发明属于软件测试验证技术领域，提供了一种安全关键软件验证方法、装置、设备及介质。其中，方法包括：基于LTL语言扩展FTA模型得到形式化的系统安全性约束条件及对应的软件需求规范；将软件需求规范按照预制定转换规则和MBD的软件规范符号匹配，使软件需求规范转化为安全规约模型；将安全规约模型和预生成的SCADE软件设计模型输入模型验证器，完成对软件的安全性验证。采用本申请实施例的技术方案，通过LTL语言进行扩展使安全性约束条件和安全性约束条件对应的软件需求规范满足形式化特征，同时依据预制定的转换规则使软件需求规范可以转化为安全规约模型，用以输入模型验证器中进行验证，避免了安全性验证方法的人为因素的干扰，提高了可靠性。