RapidNet公司 swMATH ID: 13796 软件作者： 宾夕法尼亚大学 描述： RapidNet：用于快速网络模拟和实验的声明性工具包。RapidNet是一个用于快速模拟、实现和实验网络协议的开发工具包。RapidNet利用声明性网络，这是一种声明性的、基于数据库的可扩展基础设施，使用查询语言指定行为。RapidNet将声明式网络引擎与新兴的ns-3网络模拟器集成在一起。网络协议是使用网络数据日志（NDlog）指定的，NDlog是一种分布式递归查询语言。NDlog中的协议规范使用RapidNet编译器编译成ns-3代码（在C++中）。编译后的代码以模拟模式作为ns-3应用程序运行。同样的NDlog规范也可以用作使用ns-3网络仿真器的实际实现，因此在仿真和基于测试台的实验之间架起了一座桥梁。RapidNet的长期目标是为新网络协议的快速原型制作、合成和部署提供一个统一的平台。 主页： http://netdb.cis.upenn.edu/rapdnet/ 相关软件： VCGen公司;SANDLog日志;ProVerify公司;HOL/旋转;Coq公司 引用于： 1文件 更多出版物： http://netdb.cis.upenn.edu/rapidnet/publications.html 全部的 前5名6位作者引用 1 陈，陈 1 贾利民 1 Loo，Boon Thau先生 1 罗，程 1 徐浩 1 周文超 连载1篇 1 计算机科学中的逻辑方法 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文