@inproceedings{Karbyshev15UPDR, author = {Aleksandr Karbyshev and Nikolaj Bj\orner and Shachar Itzhaky and Noam Rinetzky and Sharon Shoham}, title = {Property-{D}irected {I}nference of {U}niversal {I}nvariants or {P}roving {T}heir {A}bsence}, booktitle = {Computer Aided Verification}, month = {July}, year = 2015, series = {Lecture Notes in Computer Science}, publisher = {Springer}, doi = {10.1007/978-3-319-21690-4_40}, address = {San Francisco, California, USA}, }