Formal method is an important approach for construction of the trustworthy software.
形式化方法是构建可信软件的重要途径。
Among the existing assessment methods for trustworthy software process, the results are largely based on assessors' knowledge and experience, which will compromise the objectivity of those results.
现有软件过程可信性评估方法中，评估结果往往基于评估人员的主观经验，其准确性和客观性无法得到保证。
It's a big question: how trustworthy is the software I use on my computer?
我们电脑里边使用的软件是否值得信赖？
This app has a clean and attractive look, and feels professional and trustworthy for a free piece of software.
它的外观非常整洁，很有吸引力。就一款免费软件而言，它还是非常专业、值得信赖的。
As a result, computer systems can be damaged and private data can be leaked when cautious and trustworthy users run malicious or error-filled software.
结果，当谨慎可靠的用户运行恶意软件或包含错误的软件时，计算机系统可能会受到损坏，并且可能会泄漏私有数据。
As a result, computer systems can be damaged and private data can be leaked when cautious and trustworthy users run malicious or error-filled software.
结果，当谨慎可靠的用户运行恶意软件或包含错误的软件时，计算机系统可能会受到损坏，并且可能会泄漏私有数据。
应用推荐