Model Checking of Concurrent Programs with Static Analysis of Field Accesses

Journal article

Title:

Authors:

P. Parízek, O. Lhoták

Publication:

Sci. Comput. Program. 98

DOI:

10.1016/j.scico.2014.10.008

Year:

2015

Link:

https://doi.org/10.1016/j.scico.2014.10.008

BibTeX:

@article{parizek_model_2015,
    title = {{Model Checking of Concurrent Programs with Static Analysis of Field Accesses}},
    author = {Parízek, Pavel and Lhoták, Ondrej},
    year = {2015},
    journal = {{Sci. Comput. Program.}},
    doi = {10.1016/j.scico.2014.10.008},
    pages = {735--763},
    url = {https://doi.org/10.1016/j.scico.2014.10.008},
    volume = {98},
}