Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information

Proceedings paper

Title:

Authors:

P. Parízek

Publication:

2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016

DOI:

10.1109/FMCAD.2016.7886672

Year:

2016

Link:

https://doi.org/10.1109/FMCAD.2016.7886672

BibTeX:

@inproceedings{parizek_hybrid_2016_2,
    title = {{Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-to and Determinacy Information}},
    author = {Parízek, Pavel},
    year = {2016},
    booktitle = {{2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016}},
    publisher = {IEEE},
    doi = {10.1109/FMCAD.2016.7886672},
    pages = {141--148},
    url = {https://doi.org/10.1109/FMCAD.2016.7886672},
}