Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng. Improve Model Checking Efficiency Using Specific Knowledge about the System. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 392-396, IEEE, 2006. [doi]
Abstract is missing.