Counterexample-guided abstraction refinement for linear programs with arrays. Armando, A., Benerecetti, M., & Mantovani, J. Automated Software Engineering, 21(2):225-285, 2014. Paper doi bibtex @ARTICLE{Armando2014225,
author={Armando, A., Benerecetti, M., Mantovani, J.},
title={Counterexample-guided abstraction refinement for linear programs with arrays},
journal={Automated Software Engineering},
year={2014},
volume={21},
number={2},
pages={225-285},
doi={10.1007/s10515-013-0132-0},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84898855574&partnerID=40&md5=841c4c223979d465e5ab5a40671d3171},
document_type={Article},
source={Scopus},
}
Downloads: 0
{"_id":"uhx6tgoNpBoKuSTE2","bibbaseid":"armando-benerecetti-mantovani-counterexampleguidedabstractionrefinementforlinearprogramswitharrays-2014","downloads":0,"creationDate":"2016-08-26T09:24:46.860Z","title":"Counterexample-guided abstraction refinement for linear programs with arrays","author_short":["Armando, A.","Benerecetti, M.","Mantovani, J."],"year":2014,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Benerecetti"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Mantovani"],"firstnames":["J."],"suffixes":[]}],"title":"Counterexample-guided abstraction refinement for linear programs with arrays","journal":"Automated Software Engineering","year":"2014","volume":"21","number":"2","pages":"225-285","doi":"10.1007/s10515-013-0132-0","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84898855574&partnerID=40&md5=841c4c223979d465e5ab5a40671d3171","document_type":"Article","source":"Scopus","bibtex":"@ARTICLE{Armando2014225,\nauthor={Armando, A., Benerecetti, M., Mantovani, J.},\ntitle={Counterexample-guided abstraction refinement for linear programs with arrays},\njournal={Automated Software Engineering},\nyear={2014},\nvolume={21},\nnumber={2},\npages={225-285},\ndoi={10.1007/s10515-013-0132-0},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84898855574&partnerID=40&md5=841c4c223979d465e5ab5a40671d3171},\ndocument_type={Article},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Benerecetti, M.","Mantovani, J."],"key":"Armando2014225","id":"Armando2014225","bibbaseid":"armando-benerecetti-mantovani-counterexampleguidedabstractionrefinementforlinearprogramswitharrays-2014","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84898855574&partnerID=40&md5=841c4c223979d465e5ab5a40671d3171"},"downloads":0},"search_terms":["counterexample","guided","abstraction","refinement","linear","programs","arrays","armando","benerecetti","mantovani"],"keywords":["dblp","eureka","software model checking","smt"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}