%0 Conference Paper %1 conf/sosp/MaGJKKS19 %A Ma, Haojun %A Goel, Aman %A Jeannin, Jean-Baptiste %A Kapritsos, Manos %A Kasikci, Baris %A Sakallah, Karem A. %B SOSP %D 2019 %E Brecht, Tim %E Williamson, Carey %I ACM %K dblp %P 370-384 %T I4: incremental inference of inductive invariants for verification of distributed protocols. %U http://dblp.uni-trier.de/db/conf/sosp/sosp2019.html#MaGJKKS19 %@ 978-1-4503-6873-5

@inproceedings{conf/sosp/MaGJKKS19, added-at = {2023-08-19T00:00:00.000+0200}, author = {Ma, Haojun and Goel, Aman and Jeannin, Jean-Baptiste and Kapritsos, Manos and Kasikci, Baris and Sakallah, Karem A.}, biburl = {https://www.bibsonomy.org/bibtex/239e207723e32462a8e5fbbb17a36451c/dblp}, booktitle = {SOSP}, crossref = {conf/sosp/2019}, editor = {Brecht, Tim and Williamson, Carey}, ee = {https://doi.org/10.1145/3341301.3359651}, interhash = {879289d064e1f50ade17fc832ffed381}, intrahash = {39e207723e32462a8e5fbbb17a36451c}, isbn = {978-1-4503-6873-5}, keywords = {dblp}, pages = {370-384}, publisher = {ACM}, timestamp = {2024-04-10T05:27:55.000+0200}, title = {I4: incremental inference of inductive invariants for verification of distributed protocols.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp2019.html#MaGJKKS19}, year = 2019 }