PAT team presented the following two papers in Formal Methods 2009 in Eindhoven, the Netherlands.
- Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu and Jin Song Dong. Fair Model Checking with Process Counter Abstraction. The sixth International Symposium on Formal Methods (FM 2009). pages 123 – 139, Eindhoven, the Netherlands, November, 2009. (Slides)
- Yang Liu, Wei Chen, Yanhong A. Liu and Jun Sun. Model Checking Lineariability via Refinement. The sixth International Symposium on Formal Methods (FM 2009). pages 321-337, Eindhoven, the Netherlands, November, 2009. (Slides)