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

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

youdao

请注意：可以使用DB 2 Connect网关来提供稳定的中间层，以及在体系结构中利用连接池和故障转移(failover)等功能，并且仍然使用DB 2 Type 4驱动程序。

Note: you can use a DB2 connect gateway to provide a stable middle tier and utilize features such as connection pooling and failover to your architecture and still use DB2 type 4 Drivers.

youdao