利奥尼达斯·齐奥普洛斯；瓦尔登，玛丽娜 B.NoC系统的正式开发。 （英语） Zbl 1122.68147号 Nord.J.计算。 13，编号1-2，127-145（2006）. 摘要：在开发复杂的片上网络（NoC）系统时，我们需要确保它们满足其功能需求。这可以通过使用带有工具支持的形式化方法以结构化的方式开发系统来实现。为此，我们使用B作用系统形式主义。我们给出了一个用于开发NoC系统的通用形式化框架，避免了具有复杂控制器和复杂仲裁器模块的体系结构来决定数据包的路由路径。开发是以逐步的方式进行的，由更简单的单元组成更高级的布线组件。 MSC公司： 68单位07 计算机辅助设计的计算机科学方面 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：在chip上建立网络；形式验证 PDF格式BibTeX公司 XML格式引用 \textit{L.Tsiopoulos}和\textit{M.Waldén}，Nord.J.Compute。13，编号1--2，127--145（2006；Zbl 1122.68147）