To analyze large amount of protocols efficiently, we design the formal protocol description language P language, and develop the parser based on it.

为了可以大规模分析协议，我们开发了形式化协议描述语言P语言及P语言语法解析器，极大的提高了系统的可用性。

www.fabiao.net

Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.

最近在形式描述技术（FDT）领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。

dict.cnki.net

By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.

通过功能符号形式化描述建立分层次的机构概念运动模型，实现对计算机辅助概念运动设计的支持。

dict.cnki.net