Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.

同时，用形式化的方法验证了协议，并编写NDIS中间层驱动程序实现了协议。

youdao

NDIS is a kind of network protocol standard which supports the network drivers of three kinds: NIC drivers, intermediate drivers and protocol drivers.

NDIS是一种网络协议规范，它支持三种类型的网络驱动程序：网卡驱动程序、中间驱动程序、协议驱动程序。

youdao

After rain had fallen in the minutes before the start, all the drivers set off on grooved intermediate tyres.

由于比赛前几分钟突然开始下雨，所有的车手都更换了中性胎。

youdao

As the track dried in the second session, Brawn opted not to put their drivers on intermediate tyres, and while Barrichello just made the cut for the top-10 shootout, Button missed out.

BBC: Button fears title blow in Brazil

Once licensed, teen drivers must go through an intermediate stage for a set period that limits unsupervised driving at certain times, with most states limiting the number of non-family-member passengers and imposing other restrictions.

FORBES: What To Do About The Sudden Surge In Teen Traffic Deaths