时序检查

时序检查技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。

资源总数
500

时序检查 全部资料 500 份

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得

2024-02-12 2 时序检查

Linux下的代码检查工具,splint,跟pclint一样,是非常优秀的代码检查工具。此手册详细介绍了splint的各个参数和用法。英文版

2013-12-30 145 时序检查