Parameterized Verification of Asynchronous Shared-Memory Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Javier Esparza, Pierre Ganty, Rupak Majumdar. Parameterized Verification of Asynchronous Shared-Memory Systems. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 124-140, Springer, 2013. [doi]

This author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Pierre Ganty' in GoogleThis author has not been identified. Look up 'Rupak Majumdar' in Google

runs on WebDSL