Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads

Technical report

Title:

Authors:

P. Parízek, F. Kliber

Publication:

Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University

Year:

2022

Link:

http://d3s.mff.cuni.cz/files/public/parizek/pubs/tr-2022-1.pdf

BibTeX:

@techreport{parizek_incremental_report_2022,
    title = {{Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads}},
    author = {Parízek, Pavel and Kliber, Filip},
    year = {2022},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2022-01},
    pages = {1--15},
    url = {http://d3s.mff.cuni.cz/files/public/parizek/pubs/tr-2022-1.pdf},
}