一种改进的数据求精证明规则
Data(s) |
2008
|
---|---|
Resumo |
提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。 |
Identificador | |
Idioma(s) |
中文 |
Fonte |
张宏; 贺也平; 石志国.一种改进的数据求精证明规则,计算机工程,2008,34(1):23-25 |
Palavras-Chave | #多级安全系统 #数据求精 #前向模拟 #后向模拟 multilevel secure system #data refinement #forward simulation #backward simulation |
Tipo |
期刊论文 |