STARI: A Case Study in Compositional and Hierarchical Timing Verification
STARI: A Case Study in Compositional and Hierarchical Timing Verification
复制标题
STARI：组合和分层时序验证的案例研究
DOI：
10.1007/3-540-63166-6_20
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
R. Brayton
中科院分区：
文献类型：
--
作者：
S. Tasiran;R. Brayton
在[TAKB96]中，我们研究了检查一个实时系统是否正确实现另一个实时系统的技术，并开发了分层证明和假设保证式推理的理论。在本研究中，我们利用[TAKB96]的技术，验证了通信芯片STARI时序的正确性。
In [TAKB96], we investigated techniques for checking if one real-time system correctly implements another and developed theory for hierarchical proofs and assume-guarantee style reasoning. In this study, using the techniques of [TAKB96], we verify the correctness of the timing of the communication chip STARI.