工具书类

• 1. 1)
     • Launiainen，T.、Heljanko，K.、Junttila，T.：“PSL安全特性的有效模型检查”，Proc。第十届并行应用于系统设计国际会议（ACSD’2010），2010年6月，葡萄牙布拉加，第95-104页。
  2. 2)
     • Kesten，Y.，Pnueli，A.，Raviv，L.-O.：“线性时序逻辑规范的算法验证”，第25期Int。自动化学术讨论会，语言与编程，ICALP’98，1998年7月13日至17日，丹麦奥尔堡，第1-16页，（LNCS，1443）。
  3. 3)
     • J.R.Burch，E.M.克拉克，K.L.麦克米兰，D.L.迪尔，L.J.黄.符号模型检查：1020个状态及以上。Inf.计算。, 2 , 142 - 170
  4. 4)
     • R.H.哈丁，R.P.Kurshan，S.K.Shukla，M.Y.瓦尔迪.使用BDD进行坏循环检测的新启发式算法。正式方法。系统。设计。, 2 , 131 - 140
  5. 5)
     • A.普努利，A.扎克斯.关于时间测试仪的优点。25年的模型检查, 172 - 195
  6. 6)
     • McMillan，K.L.：“克雷格插值在模型检查中的应用”，第26期Int。Conf.Petri网的应用和理论2005，ICATPN 2005，2005年6月20日至25日，美国迈阿密，第15-16页，（LNCS，3536），2005。
  7. 7)
     • Jin，N.、Shen，C.、Chen，J.、Ni，T.：“基于断言的PSL工程”，Proc。2008年，第一届利用理论支持软件工具国际研讨会（TTSS 2007），第153-169页，Proc。理论计算机科学电子笔记第207卷。
  8. 8)
     • M.西普瑟.(2005) 计算理论导论。
  9. 9)
     • Bustan，D.，Fisman，D.，Havlicek，J.：“PSL的自动化施工”，技术报告，2005年。
  10. 10)
      • Schneider，F.B.：“将属性分解为安全性和活性”，《技术报告》，1987年。
  11. 11）
      • R.布隆，H.N.加博，F.萨蒙齐.一种在n个对数n个符号步骤中进行强连通分量分析的算法。正式方法。系统。设计。, 1 , 37岁56
  12. 12）
      • M.Boule先生，Z.Zilic公司.基于自动断言检查器的PSL属性合成。ACM事务处理。设计。自动。电子。系统。, 1 , 1 - 21
  13. 13)
      • Latvala，T.：“安全特性的有效模型检查”，第十届国际SPIN研讨会模型检查软件，俄勒冈州，2003年5月9日至10日，波特兰，第74-88页，（LNCS，2648）。
  14. 14)
      • C.艾斯纳，D.菲斯曼.IEEE Std 1850属性规范语言的形式语法和语义。
  15. 15)
      • Chang，E.，Manna，Z.，Pnueli，A.：“安全进度分类”，技术报告，1992年。
  16. 16)
      • A.西马蒂，M.Roveri，S.托内塔.PSL的符号编译。IEEE传输。计算。辅助设计。集成。电路系统。, 10 , 1737 - 1750
  17. 17)
      • Y.Kesten，A.普努利，拉维夫，E.沙哈尔.模型检查具有很强的公平性。正式方法。系统。设计。, 1 , 57 - 84
  18. 18)
      • Schuppan，V.，Biere，A.：“LTL与过去的符号模型检查的最短反例”，第11期Int。《用于系统构建和分析的Conf.Tools and Algorithms for the Construction and Analysis of Systems》，TACAS 2005，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2005，2005年4月4-8日，英国爱丁堡，第493-509页，（LNCS，3440）。
  19. 19)
      • Finkbeiner，B.，Kuhtz，L.：“具有有界和无界未来的LTL监测电路”，第九届运行时验证国际研讨会，RV 2009，2009年6月26日至28日，法国格勒诺布尔，第60-75页，论文集，（LNCS，5779）。
  20. 20)
      • O.Kupferman，M.Y.瓦尔迪.安全特性的模型检查。正式方法。系统。设计。, 三，291年314
  21. 21)
      • Eisner，C.，Fisman，D.：“结构性矛盾。《硬件和软件：验证和测试》，第四届国际海法验证大会，HVC 2008年10月27日至30日，以色列海法，第164–178页，（LNCS，5394），2008年。
  22. 22)
      • Jin，N.，Shen，C.：“动态验证PSL简单子集的属性”，IEEE/IFIP第一联合交响乐团。《软件工程的理论方面》，TASE 2007，2007年6月5日至8日，中国上海，第229-240页。
  23. 23)
      • Heljanko，K.，Junttila，T.，Latvala，T.:“完整PLTL的增量和完整有界模型检查”，17thInt。Conf.计算机辅助验证，CAV 2005，2005年7月6日至10日，英国苏格兰爱丁堡，第98–111页（LNCS，3576）。
  24. 24)
      • A.比埃尔，K.Heljanko，T.Junttila，T.Latvala，V.舒潘.有界LTL模型检查的线性编码。逻辑。方法。计算。科学。, 5 , 1 - 64
  25. 25)
      • V.Schuppan，A.比埃尔.将有限状态模型检查有效简化为可达性分析。国际期刊软件。工具技术。Transf公司。, 185 - 204
  26. 26)
      • E.M.克拉克，O.Grumberg，滨口K.再看一下LTL模型检查。正式方法。系统。设计。, 1 , 47 - 71
  27. 27)
      • Ben David，S.，Fisman，D.，Ruah，S.：“安全简单子集”，第一国际海法验证会议，2005年11月13-16日，以色列海法，第14-29页，（LNCS，3875），硬件和软件验证与测试。