Authors
Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto
Publication date
2022/3/30
Book
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Pages
413-417
Publisher
Springer International Publishing
Description
We sketch a sequentialization-based technique for bounded detection of data races under sequential consistency, and summarise the major improvements to our verification framework over the last years.
Total citations
Scholar articles
A Coto, O Inverso, E Sales, E Tuosto - International Conference on Tools and Algorithms for …, 2022