发明名称 |
用于校验受研究系统的完整模型的属性的方法和系统 |
摘要 |
一种用于校验受研究系统的完整模型的属性的方法,包括:从模型中至少抽象出一些变量,以产生系统的抽象模型。以抽象模型的状态空间中的初始状态开始,根据至属性所定义的目标状态的传递关系、找到通过抽象模型状态空间的抽象路径。将抽象后的变量的一个子集恢复成抽象模型,从而产生系统的中间模型,并基于中间模型而校验完整模型上的属性。 |
申请公布号 |
CN100440480C |
申请公布日期 |
2008.12.03 |
申请号 |
CN200310118724.8 |
申请日期 |
2003.12.02 |
申请人 |
国际商业机器公司 |
发明人 |
丹尼尔·盖斯特;沙伦·凯达;安娜·格林高兹 |
分类号 |
H01L21/82(2006.01);H01L21/66(2006.01);G06F17/50(2006.01) |
主分类号 |
H01L21/82(2006.01) |
代理机构 |
北京市柳沈律师事务所 |
代理人 |
黄小临;王志森 |
主权项 |
1.一种用于校验受研究系统的完整模型的属性的方法,所述模型基于状态变量的集合和所述状态间的传递关系而定义系统的状态,所述方法包括:从所述模型中至少抽象出一些变量,以产生所述系统的抽象模型;以所述抽象模型的状态空间中的初始状态开始,根据至所述属性所定义的目标状态的传递关系、找到通过所述抽象模型状态空间的抽象路径;将所述抽象后的变量的一个子集恢复成所述抽象模型,从而产生所述系统的中间模型;和基于所述中间模型而校验所述完整模型上的所述属性。 |
地址 |
美国纽约州 |