1 提供基于结构化文本的可信性验证

2 提供基于通用电气公司的梯形图可信性验证

3 提供基于西门子结构控制语言的可信性验证

4 提供部分顺序功能图、指令表的可信性验证