首页>
外国专利>
TRANSFORMATION OF SIMPLE SUBSET OF PSL INTO SERE IMPLICATION FORMULAS FOR VERIFICATION WITH MODEL CHECKING AND SIMULATION ENGINES USING SEMANTIC PRESERVING REWRITE RULES
TRANSFORMATION OF SIMPLE SUBSET OF PSL INTO SERE IMPLICATION FORMULAS FOR VERIFICATION WITH MODEL CHECKING AND SIMULATION ENGINES USING SEMANTIC PRESERVING REWRITE RULES
展开▼
机译:使用语义保留重写规则将PSL的简单子集转换为用于模型检验和模拟引擎验证的隐含公式
展开▼
页面导航
摘要
著录项
相似文献
摘要
Simple-Subset PSL formulas are transformed to SERE implications (Figure 3). Verification engines are required to support the basic formula only (320). The basic formula is a form of automata in the property specification language. This is called SERE implication. The efficiency of verification is dependent on size of automata.
展开▼