Towards SMT Model Checking of Array-Based Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli. Towards SMT Model Checking of Array-Based Systems. In Alessandro Armando, Peter Baumgartner, Gilles Dowek, editors, Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Volume 5195 of Lecture Notes in Computer Science, pages 67-82, Springer, 2008. [doi]

This author has not been identified. Look up 'Silvio Ghilardi' in GoogleThis author has not been identified. Look up 'Enrica Nicolini' in GoogleThis author has not been identified. Look up 'Silvio Ranise' in GoogleThis author has not been identified. Look up 'Daniele Zucchelli' in Google

runs on WebDSL