Formal Definition Tool-开源

时间:2024-07-24 11:53:46
【文件属性】:

文件名称:Formal Definition Tool-开源

文件大小:60KB

文件格式:BZ2

更新时间:2024-07-24 11:53:46

开源软件

一种基于 Java 的命令行分析工具,用于检查数据流是否符合它们应该遵守的正式定义。 正式定义本身应符合 RFC 2234 Augmented BNF for Syntax Specifications:ABNF 或 ASN.1


网友评论