文件名称：符号模型验证器 SMV 的更多图像计算
文件大小：128KB
文件格式：PDF
更新时间：2024-07-19 13:31:11
学术 论文
Yet more image computations for SMV, the symbolic model verifier Yet More Image Computations for SMV, the Symbolic Model Verifier Hiromi Hiraishi Faculty of Engineering, Kyoto Sangyo University, Kyoto, Japan 603-8555 SUMMARY This paper describes a collection of techniques to improve the efficiency of the pre- and postimage computa- tions that are the core of the Symbolic Model Verifier (SMV), which is used for formal logic design verification. The proposed techniques aim mostly at imp