frama-c是否满足汽车行业的ISO 26262标准？

Question

之所以出现这个问题，是因为我们想在该行业中应用frama-C的插件“价值分析”。