Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson 0001, Magnus Lång, Konstantinos Sagonas. Tailoring Stateless Model Checking for Event-Driven Multi-threaded Programs. In Étienne André, Jun Sun 0001, editors, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Volume 14216 of Lecture Notes in Computer Science, pages 176-198, Springer, 2023. [doi]

This author has not been identified. Look up 'Parosh Aziz Abdulla' in GoogleThis author has not been identified. Look up 'Mohamed Faouzi Atig' in GoogleThis author has not been identified. Look up 'Frederik Meyer Bønneland' in GoogleThis author has not been identified. Look up 'Sarbojit Das' in GoogleThis author has not been identified. Look up 'Bengt Jonsson 0001' in GoogleThis author has not been identified. Look up 'Magnus Lång' in GoogleThis author has not been identified. Look up 'Konstantinos Sagonas' in Google

runs on WebDSL