Scalable thread-modular approach for data race detection

P Andrianov, V Mutilin - International Workshop on Frontiers in Software …, 2019 - Springer
Most of the state-of-the-art verifiers do not scale well on complicated software. Concurrency
benchmarks from SV-COMP based on Linux device drivers cause significant difficulties for …
被引用次数：7 相关文章

[引用][C] Scalable thread-modular approach for data race detection

P Andrianov, V Mutilin - Lecture Notes in Computer Science, 2020 - elibrary.ru
[PDF] researchgate.net

[PDF][PDF] Scalable Thread-Modular Approach for Data Race Detection

P Andrianov, V Mutilin - researchgate.net
Most of the state-of-the-art verifiers do not scale well on complicated software. Concurrency
benchmarks from SV-COMP based on Linux device drivers cause significant difficulties for …

Scalable Thread-Modular Approach for Data Race Detection

P Andrianov, V Mutilin - International Workshop on Frontiers in Software …, 2019 - dl.acm.org
Most of the state-of-the-art verifiers do not scale well on complicated software. Concurrency
benchmarks from SV-COMP based on Linux device drivers cause significant difficulties for …