论文部分内容阅读
形式语义学的实用化
【机 构】
：
山东大学威海分校
【出 处】
：
全国程序设计语言发展与教学学术会议
【发表日期】
：
1994年期
其他文献
伦敦烟雾事件rn众所周知,伦敦曾有“雾都”之名,冬天多半都是浓雾天气,而浓雾的产生与工业革命有很大关系.煤炭是工业革命的核心原料,每天的煤炭燃烧会释放出大量烟尘,当它们
期刊
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性，具有模拟验证所不具有的优点。该文介绍
计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前
该文试图用并发进程描述时序电路，用时态逻辑公式来刻画它的某些特性，借助ＳＴｅＰ演绎证明系统，证明了该电路具有时态逻辑公式所描术的特性，同时也说明了这一方法的可行性。