模型检测

  • 模型检测内容ppt

  • 模型检测例子ppt

    参考资料

  • Ph. Schnoebelen. The Complexity of Temporal Logic Model Checking. Advances in Modal Logic 2002: 393-436.

  • Ranjit Jhala, Rupak Majumdar. Software Model Checking. ACM Comput. Surv. 41(4): (2009)

  • 参考资料(3月25日)

  • 参考资料(4月1日)

  • 参考资料(4月16日)

  • 参考资料(4月28日)

  • 参考资料5月21日)

  • 参考资料(6月4日)

  • 参考资料(6月18日)