Optimal stateless model checking under the release-acquire...

Proceedings of the ACM on Programming Languages 2018 / 10 Vol. 2; Iss. OOPSLA

Optimal stateless model checking under the release-acquire semantics

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Jonsson, Bengt, Ngo, Tuan Phong
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
2
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3276505
Date:
October, 2018
File:
PDF, 711 KB
2018
Conversion to is in progress
Conversion to is failed