Application of Formal Word-Level Analysis to Constrained Random Simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hyondeuk Kim, HoonSang Jin, Kavita Ravi, Petr Spacek, John Pierce, Robert P. Kurshan, Fabio Somenzi. Application of Formal Word-Level Analysis to Constrained Random Simulation. In Aarti Gupta, Sharad Malik, editors, Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings. Volume 5123 of Lecture Notes in Computer Science, pages 487-490, Springer, 2008. [doi]

This author has not been identified. Look up 'Hyondeuk Kim' in GoogleThis author has not been identified. Look up 'HoonSang Jin' in GoogleThis author has not been identified. Look up 'Kavita Ravi' in GoogleThis author has not been identified. Look up 'Petr Spacek' in GoogleThis author has not been identified. Look up 'John Pierce' in GoogleThis author has not been identified. Look up 'Robert P. Kurshan' in GoogleThis author has not been identified. Look up 'Fabio Somenzi' in Google

runs on WebDSL