A Prototype for Data Race Detection in CSeq 3-Reference-Cited by-同舟云学术

A Prototype for Data Race Detection in CSeq 3

Published:2022 Issue: Volume: Page:413-417
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Coto Alex,Inverso Omar,Sales Emerson,Tuosto Emilio

Abstract

AbstractWe 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.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-99527-0_23

Reference13 articles.

1. Beyer, D.: Progress on software verification: SV-COMP 2022. In: Proc. TACAS. Springer (2022)

2. Beyer, D.: Verifiers and validators of the 11th Intl. Competition on Software Verification (SV-COMP 2022). Zenodo (2022). https://doi.org/10.5281/zenodo.5959149

3. Clarke, E.M., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: TACAS. Lecture Notes in Computer Science, vol. 2988, pp. 168–176. Springer (2004). https://doi.org/10.1007/978-3-540-24730-2_15

4. Fischer, B., Inverso, O., Parlato, G.: Cseq: A concurrency pre-processor for sequential C verification tools. In: ASE. pp. 710–713. IEEE (2013). https://doi.org/10.1109/ASE.2013.6693139

5. Inverso, O., Nguyen, T.L., Fischer, B., Torre, S.L., Parlato, G.: Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs. In: ASE. pp. 807–812. IEEE Computer Society (2015). https://doi.org/10.1109/ASE.2015.108

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Accurate Static Data Race Detection for C;Lecture Notes in Computer Science;2024-09-11

2. Static Data Race Detection via Lazy Sequentialization;Lecture Notes in Computer Science;2024

3. State of the Art in Software Verification and Witness Validation: SV-COMP 2024;Lecture Notes in Computer Science;2024

4. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Ultimate Taipan and Race Detection in Ultimate;Tools and Algorithms for the Construction and Analysis of Systems;2023