他关注的领域还有通过语义形式和类型检查对安全性协议进行验证。

He is also concerned with the verification of security protocols through semantic formalisms and type checking.

youdao

代码检查可以采用不同的形式。

Code inspections can take different forms.

youdao

此外，影响健康和卫生保健的决定现在要接受一种新形式的电子检查，人们可以从一系列不同来源获得即时信息。

Moreover, decisions that affect health and health care are now subject to a new form of electronic scrutiny, whereby individuals draw instant information from a range of different sources.

youdao

And the last thing we do for any of our structures to check them and figure out are these valid or not valid, are these good Lewis structures is to check the formal charge.

而为了检验任何一个结构是否有效,看它们是不是好的路易斯结构,我们要做的最后一件事就是检查形式电荷。

麻省理工公开课 - 化学原理课程节选