搜索结果: 1-2 共查到“计算机系统设计 analysis”相关记录2条 . 查询时间(0.406 秒)
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Modular Consistency Analysis of Component-Based Designs
Modular Consistency Analysis Component-Based Designs
2014/3/12
In this article, we present a practical analysis approach that makes use of the modular nature of component-based designs to alleviate the state space explosion problem, a well-known obstacle to syste...