Towards a Framework for Scalable Model Checking of Concurrent C Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ji Wang, Xiaodong Yi, Xuejun Yang. Towards a Framework for Scalable Model Checking of Concurrent C Programs. In Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006. pages 355-362, IEEE, 2006. [doi]

This author has not been identified. Look up 'Ji Wang' in GoogleThis author has not been identified. Look up 'Xiaodong Yi' in GoogleThis author has not been identified. Look up 'Xuejun Yang' in Google

runs on WebDSL