文件大小：0.54 MB 14页
可视线性动态逻辑
作者
-
部分： 体积： 第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： IARCS软件技术和理论计算机科学基础年会（FSTTCS） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-12-10
文件
文件标识符
引用为 获取BibTex
摘要
关键词
时间逻辑 可视下推语言 可满足性 模型检查 无限游戏
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
拉杰夫·阿鲁尔（Rajeev Alur）、库沙·埃特萨米（Kousha Ettesami）和帕塔萨拉西·马杜苏丹（Parthasarathy Madhusudan）。 嵌套调用和返回的时态逻辑。 在TACAS 2004中，LNCS第2988卷，第467-481页。 斯普林格，2004年。 
-
拉杰夫·阿鲁尔（Rajeev Alur）和帕塔萨拉西·马杜苏丹（Parthasarathy Madhusudan）。 可视下推语言。 STOC 2004，第202-211页。 ACM，2004年。
-
艾哈迈德·博阿贾尼（Ahmed Bouajjani）、哈维尔·埃斯帕尔扎（Javier Esparza）和奥德·马勒（Oded Maler）。 下推自动机的可达性分析：在模型检查中的应用。 A.Mazurkiewicz和J.Winkowski，编辑，CONCUR 1997，LNCS第1243卷，第135-150页。 施普林格，1997年。 完整版本位于 http://www.liafa.univ-paris-didero.fr/ ~abou/BEM97.pdf . -
劳拉·博泽利。 可视下推语言的交替自动机和时间不动点演算。 L.Caires和V.T.Vasconcelos编辑，CONCUR 2007，LNCS第4703卷，第476-491页。 施普林格，2007年。
-
劳拉·博泽利和塞萨尔·桑切斯。 可见的线性时序逻辑。 2014年IJCAR，LNCS第8562卷，第418-483页，2014年。
-
彼得·费蒙维尔和马丁·齐默尔曼。 参数线性动态逻辑。 信息计算。， 2016年。文章出版。
-
马丁·勒克和塞萨尔·桑切斯。 常规线性时序逻辑。 2007年ICTAC编辑C.B.Jones、Z.Liu和J.Woodcock，LNCS第4711号，第291-305页，2007年。
-
克里斯托夫·洛丁（Christof Löding）、帕塔萨拉西·马杜苏丹（Parthasarathy Madhusudan）和奥利维尔·塞雷（Olivier Serre）。 视觉推下游戏。 L.Lodaya和M.Mahajan，FSTTCS 2004编辑，LNCS第3328卷，第408-420页。 斯普林格，2005年。
-
阿米尔·普努利。 程序的时序逻辑。 FOCS 1977，第46-57页。 IEEE，1977年。
-
Moshe Vardi。 LTL的兴衰。 在G.D’Agostino和S.La Torre，编辑，EPTCS第54期，2011年。
-
莫西·瓦迪和皮埃尔·沃尔珀。 关于无限计算的推理。 信息和组件。， 115:1-37, 1994.
-
亚历山大·韦内特（Alexander Weinert）和马丁·齐默尔曼（Martin Zimmermann）。 可见的线性动态逻辑。 arXiv，1512.051772015年。
-
皮埃尔·沃尔珀。 时间逻辑可以更具表现力。 Inf.和Cont.，56:72-991983。