事实上，有些嵌入式虚拟机监控程序供应商已经正式验证了他们的虚拟机监控程序，并保证它们没有bug。

In fact, some embedded hypervisor vendors have formally verified their hypervisors and guaranteed them to be bug free.

youdao

exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。

The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.

youdao

如果您不使用正式的DTD或模式，验证特性对于您来说并不重要。

If you are working without a formal DTD or schema, validation features won't be important to you.

youdao