Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.

最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。

youdao

Finally, through the attempt and research on verification logic in the field of information security, we point that formal logic method is sure playing a main role in it.

最后想指出的是，我们通过对验证逻辑在信息安全方面的一些尝试和研究，说明了形式化逻辑方法确实可以在这个领域上发挥重要作用。

youdao