Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv
Decidability of inferring inductive invariants
POPL, 2016.
@inproceedings{POPL-2016-PadonISKS, author = "Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv", booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}", doi = "10.1145/2837614.2837640", isbn = "978-1-4503-3549-2", pages = "217--231", publisher = "{ACM}", title = "{Decidability of inferring inductive invariants}", year = 2016, }