Property Directed Reachability for Proving Absence of Concurrent Modification Errors. Frumkin, A., Feldman, Y. M. Y., Lhoták, O., Padon, O., Sagiv, M., & Shoham, S. In Bouajjani, A. & Monniaux, D., editors, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, volume 10145, of Lecture Notes in Computer Science, pages 209–227, 2017. Springer. Paper doi bibtex @inproceedings{DBLP:conf/vmcai/FrumkinFLPSS17,
author = {Asya Frumkin and
Yotam M. Y. Feldman and
Ondrej Lhot{\'{a}}k and
Oded Padon and
Mooly Sagiv and
Sharon Shoham},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Property Directed Reachability for Proving Absence of Concurrent Modification
Errors},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {209--227},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_12},
doi = {10.1007/978-3-319-52234-0\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FrumkinFLPSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"qHCSumn8T46Zhr6qm","bibbaseid":"frumkin-feldman-lhotk-padon-sagiv-shoham-propertydirectedreachabilityforprovingabsenceofconcurrentmodificationerrors-2017","authorIDs":[],"author_short":["Frumkin, A.","Feldman, Y. M. Y.","Lhoták, O.","Padon, O.","Sagiv, M.","Shoham, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Asya"],"propositions":[],"lastnames":["Frumkin"],"suffixes":[]},{"firstnames":["Yotam","M.","Y."],"propositions":[],"lastnames":["Feldman"],"suffixes":[]},{"firstnames":["Ondrej"],"propositions":[],"lastnames":["Lhoták"],"suffixes":[]},{"firstnames":["Oded"],"propositions":[],"lastnames":["Padon"],"suffixes":[]},{"firstnames":["Mooly"],"propositions":[],"lastnames":["Sagiv"],"suffixes":[]},{"firstnames":["Sharon"],"propositions":[],"lastnames":["Shoham"],"suffixes":[]}],"editor":[{"firstnames":["Ahmed"],"propositions":[],"lastnames":["Bouajjani"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Monniaux"],"suffixes":[]}],"title":"Property Directed Reachability for Proving Absence of Concurrent Modification Errors","booktitle":"Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10145","pages":"209–227","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-52234-0_12","doi":"10.1007/978-3-319-52234-0_12","timestamp":"Tue, 14 May 2019 10:00:43 +0200","biburl":"https://dblp.org/rec/conf/vmcai/FrumkinFLPSS17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/vmcai/FrumkinFLPSS17,\n author = {Asya Frumkin and\n Yotam M. Y. Feldman and\n Ondrej Lhot{\\'{a}}k and\n Oded Padon and\n Mooly Sagiv and\n Sharon Shoham},\n editor = {Ahmed Bouajjani and\n David Monniaux},\n title = {Property Directed Reachability for Proving Absence of Concurrent Modification\n Errors},\n booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International\n Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10145},\n pages = {209--227},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-52234-0\\_12},\n doi = {10.1007/978-3-319-52234-0\\_12},\n timestamp = {Tue, 14 May 2019 10:00:43 +0200},\n biburl = {https://dblp.org/rec/conf/vmcai/FrumkinFLPSS17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Frumkin, A.","Feldman, Y. M. Y.","Lhoták, O.","Padon, O.","Sagiv, M.","Shoham, S."],"editor_short":["Bouajjani, A.","Monniaux, D."],"key":"DBLP:conf/vmcai/FrumkinFLPSS17","id":"DBLP:conf/vmcai/FrumkinFLPSS17","bibbaseid":"frumkin-feldman-lhotk-padon-sagiv-shoham-propertydirectedreachabilityforprovingabsenceofconcurrentmodificationerrors-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-52234-0_12"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/155/8122.bib","creationDate":"2020-07-03T07:57:18.871Z","downloads":0,"keywords":[],"search_terms":["property","directed","reachability","proving","absence","concurrent","modification","errors","frumkin","feldman","lhoták","padon","sagiv","shoham"],"title":"Property Directed Reachability for Proving Absence of Concurrent Modification Errors","year":2017,"dataSources":["4B5A45kn7gtQfwHvT"]}