Model Checking Using SMT and Theory of Lists - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aleksandar Milicevic, Hillel Kugler. Model Checking Using SMT and Theory of Lists. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. Volume 6617 of Lecture Notes in Computer Science, pages 282-297, Springer, 2011. [doi]

This author has not been identified. Look up 'Aleksandar Milicevic' in GoogleThis author has not been identified. Look up 'Hillel Kugler' in Google

runs on WebDSL