software-assurance-formal-methods-specialist

软件保障与形式化方法工程——保障案例（GSN/CAE）、安全性与保密性声明及证据、需求到验证的可追溯性、基于证据层面的危害分析接口（FMEA、FTA），以及高层标准背景（DO-178C、DO-333、IEC 61508、ISO 26262、通用准则、NIST SSDF）。形式化方法——属性规约、模型检测与定理证明、抽象与精化、有界模型检测、契约/规约语言（ACSL、SPARK、TLA+、Alloy）的概念层面应用、证明义务与反例、持续集成与发布门禁集成。适用于软件保障、形式化方法、模型检测、定理证明、保障案例、GSN、安全案例、验证证据、DO-178C、DO-333、证明义务、TLA+、属性验证、形式化规约——而非仅常规单元/集成测试、动手渗透测试、企业级GRC专项、机器学习对抗鲁棒性或纯裸机固件开发工作。

存档时间线

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本