Verige: verification with invariant generation engine - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicolas Latorre, Francesco Alberti, Natasha Sharygina. Verige: verification with invariant generation engine. In Neha Rungta, Oksana Tkachuk, editors, 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. pages 121-124, ACM, 2014. [doi]

This author has not been identified. Look up 'Nicolas Latorre' in GoogleThis author has not been identified. Look up 'Francesco Alberti' in GoogleThis author has not been identified. Look up 'Natasha Sharygina' in Google

runs on WebDSL