Static race detection for device drivers: the Goblint approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler. Static race detection for device drivers: the Goblint approach. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 391-402, ACM, 2016. [doi]

This author has not been identified. Look up 'Vesal Vojdani' in GoogleThis author has not been identified. Look up 'Kalmer Apinis' in GoogleThis author has not been identified. Look up 'Vootele Rõtov' in GoogleThis author has not been identified. Look up 'Helmut Seidl' in GoogleThis author has not been identified. Look up 'Varmo Vene' in GoogleThis author has not been identified. Look up 'Ralf Vogler' in Google

runs on WebDSL