{"_id":"ztfmhyWGHF4kPGMMy","bibbaseid":"anonymous-decidabilityofinferringinductiveinvariants","downloads":0,"creationDate":"2017-07-31T23:33:57.100Z","title":"Decidability of Inferring Inductive Invariants","author_short":null,"year":null,"bibtype":"inproceedings","biburl":"http://www2.in.tum.de/~karbyshev/karbyshev.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decidability of Inferring Inductive Invariants","author":[{"firstnames":["Oded"],"propositions":[],"lastnames":["Padon"],"suffixes":[]},{"firstnames":["Neil"],"propositions":[],"lastnames":["Immerman"],"suffixes":[]},{"firstnames":["Sharon"],"propositions":[],"lastnames":["Shoham"],"suffixes":[]},{"firstnames":["Aleksandr"],"propositions":[],"lastnames":["Karbyshev"],"suffixes":[]},{"firstnames":["Mooly"],"propositions":[],"lastnames":["Sagiv"],"suffixes":[]}],"key":"Padon16Decidability","id":"Padon16Decidability","bibbaseid":"anonymous-decidabilityofinferringinductiveinvariants","role":"author","urls":{},"downloads":0},"search_terms":["decidability","inferring","inductive","invariants"],"keywords":[],"authorIDs":[],"dataSources":["ubxGc3JFsEBjciN45"]}