摘要
GKY88型 G.Goldsamidt、S.Katz和S.Yemini。 并发语言的交互式黑箱调试。 《ACM并行和分布式调试研讨会论文集》,第271-282页,1988年5月。 谷歌学者 数字图书馆 克89 M.M.Gorlick和R.R.Raaouk。 实时区间逻辑的模型理论语义。 技术报告(编制中),美国宇航公司,加利福尼亚州埃尔塞贡多,1969年4月。 谷歌学者 日本88 M.杰菲。 实时Sojtwore需求规范中的完整性、健壮性和安全性。 加州大学欧文分校博士论文,1986年3月。 信息与计算机科学系。 谷歌学者 数字图书馆 JM86a型 F.Jahanian和A.Mok。 实时逻辑中时序分析的图形理论方法。 IEEE 1986年实时系统研讨会论文集,第98-108页,1986年12月。 谷歌学者 JM86b型 F.Jahanian和A.K.Mok。 实时系统中定时特性的安全分析。 IEEE软件工程学报,SE-12(9):890-9041986年9月。 谷歌学者 数字图书馆 Lam81灯 L.Lamport。 时间集:一种对节目进行时间重播的新方法。 《程序逻辑会议》第131卷。 施普林格出版社,1981年9月。 谷歌学者 数字图书馆 莱德86 C.H.勒杜克斯。 用于调试并发软件的基于知识的系统。 技术报告ATRS6(8134)-1,航空航天公司,加利福尼亚州埃尔塞贡多,1986年1月。 谷歌学者 NA88型 K.T.Narayana和A.A.Aaby。 实时时间间隔逻辑中的实时系统规范。 1988年实时系统会议,第86-95页。 IEEE出版社,1988年。 谷歌学者 交叉引用 OW87型 J.S.Ostroff和W.M.Wonham。 建模、指定和验证实时嵌入式计算机系统。 1987年IEEE 1987年ReaZ时间系统研讨会论文集,第124-132页。 谷歌学者 SMSVP83型 R.L.Schwartz、P.M.Melliar-Smith、F.H.Vogt和D.A.Plaisted。 用于高级时序推理的区间逻辑。 技术报告,SRI国际,加利福尼亚州门洛帕克,1983年9月。 谷歌学者
索引术语
实时程序执行推理的实时区间逻辑
建议
实时程序执行推理的实时区间逻辑 TAV3:ACM SIGSOFT’89第三届软件测试、分析和验证研讨会论文集 分布式实时程序测试和调试的研究现在集中在更正式的规范和测试方法上。 时态逻辑是一个自然的候选,因为它可以指定事件和状态序列的属性。。。