@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},
}