软件正确性 meaning in English

correctness of software
software correctness

The testing and verification of embedded software are the guarantee of the validity and reliability of embedded software
嵌入式软件的测试和验证是保证嵌入式软件正确性和提高嵌入式软件可靠性的最基本和最重要的手段。
Applying model checking in software design and verification has been proved very difficult . software architectures are engineering artifacts that provide high - level and abstract descriptions of complex software systems . in this paper a direct model checking method based on kripke structure and matrix algorithm is provided
将model checking应用到软件正确性验证方面被证明是很困难的事情，软件体系结构sa software architecture通过对复杂软件系统提供高层与抽象描述，为基于构件化技术的大型软件系统关键性质的验证提供了有效的途径。