AI帮你理解科学

AI 生成解读视频

AI抽取解析论文重点内容自动生成视频


pub
生成解读视频

AI 溯源

AI解析本论文相关学术脉络


Master Reading Tree
生成 溯源树

Modular verification of collaboration-based software designs

foundations of software engineering, no. 5 (2001): 152-163

被引用102|浏览9
EI
下载 PDF 全文
引用

摘要

Most existing modular model checking techniques betray their hardware roots: they assume that modules compose in parallel. In contrast, collaboration-based software designs, which have proven very successful in several domains, are sequential in the simplest case. Most interesting collaboration-based designs are really quasi-sequential co...更多

代码

数据

您的评分 :
0

 

标签
评论
小科