IEC TS 61508-3-2 (2024)(Ed1.0) Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems – Part 3-2 Requirements and Guidance in the use of Mathematical and Logical Techniques for Establishing Exact Properties of Software and its Documentation 电气系统/电子系统/安全相关的可编程电子系统的安全功能 - 第3-2部分 使用数学和逻辑技术确定软件及其文档确切属性的要求和指导