Proceedings paper

Title:
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
Authors:
Publication:
JPF workshop 2022
Year:
2022

BibTeX:
@inproceedings{parizek_checking_2022,
    title = {{Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs}},
    author = {Parízek, Pavel and Kliber, Filip},
    year = {2022},
    booktitle = {{JPF workshop 2022}},
    publisher = {to be published in ACM SEN},
}