Conference Proceedings

Context-Sensitive Dynamic Partial Order Reduction

Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gomez-Zamalloa, Peter J Stuckey, R Majumdar, V Kuncak

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER INTERNATIONAL PUBLISHING AG | Published : 2017

Grants

Awarded by Spanish MINECO


Awarded by CM project


Funding Acknowledgements

This work was funded partially by the Spanish MINECO projects TIN2012-38137 and TIN2015-69175-C4-2-R and by the CM project S2013/ICE-3006.