I4: Incremental Inference of Inductive Invariants forVerification of Distributed Protocols. Ma, H., Goel, A., Jeannin, J., Kapritsos, M., Kasikci, B., & Sakallah, K. A. In The 27th ACM Symposium on Operating Systems Principles (SOSP 2019), pages 370–384, Huntsville, Ontario, Canada, October, 2019. doi bibtex 5 downloads @inproceedings{ma2019i4,
author = {Ma, Haojun and Goel, Aman and Jeannin, Jean-Baptiste and Kapritsos, Manos and Kasikci, Baris and Sakallah, Karem A.},
title = {{I4: Incremental Inference of Inductive Invariants forVerification of Distributed Protocols}},
booktitle = {The 27th ACM Symposium on Operating Systems Principles (SOSP 2019)},
address = {Huntsville, Ontario, Canada},
pages = {370--384},
month = {October},
year = {2019},
doi = {https://doi.org/10.1145/3341301.3359651}
}
Downloads: 5
{"_id":"ZQp3EzonpPBQurLMt","bibbaseid":"ma-goel-jeannin-kapritsos-kasikci-sakallah-i4incrementalinferenceofinductiveinvariantsforverificationofdistributedprotocols-2019","authorIDs":["2A54n82RLui3DP6wP","2e3wBxbR54jNNzizE","4aNcyxEg4ftuNSsaj","4gdthdEfvkFauifZf","58ggzMh94vktbZgLD","5K3DrmPuzFQkm7Mao","5d1ca3b659fe2fda01000020","5de76e32179cbdde01000158","5e01698f219bd5df01000062","5e14c31ee55ed8de01000123","5e1f7edc08195af30100007d","5e399082d14579de010001b7","5e3d9802f33211df01000055","5e5d058b342171f301000093","5e5ece2a8c261adf010000ca","5e5ed0648c261adf01000101","6gRo3HNBCyPc4x2tE","78zghoXffPeSigRcS","7Er9ECfumNZ9Tx7zP","7WdeScG3KXCpjHymh","89qMihECpRRWWyFkY","8Scex5wFP2m5WqrNm","9reHcTXwN9LWaskcF","A5488F9AoWmk8qbcd","CCXLwWMqAsRK8XkP3","CTMnmJ2FT5X3o2dt6","DnyyYXDJrA4YcnFut","DyNvt8RRvSYuDtp4H","EvzyWsDjCchvN8r9W","Fuw6YbxyzPv64d4oz","Hegw9jgkkSqLYJpCs","LC6adHEfDkmH63Db3","MeFQDLkpfxLC4F6iD","NQyf7Hh3HuMggYif7","NZQc6xvT9aa2rbkPF","QG7t9hm6rKCbkWpw4","QT9sJuhXJYhgiCbbP","S82QTbwajuiwoPLtM","SSY46YraYDnEZ8j35","SbhHiDFf7kNQMXyTw","TGzEJy5rj4cMrvLaF","TdoMPd7r7jW4PzqfB","WEMsDvNfiLSN3nM9P","WPLDufsuBHpqtRscS","X2b5tEpaJowqtbAKb","XNGQ6BdxRkddPkcDW","XcWuJQmWvotMnc8YA","YcAeLPsxPrnmvk3AQ","YgnWwStEzHtnChSnw","ci6eqpfrfcwfxHJeM","dTh6pHKqGWGchnbaL","efWMWCByZJW6uHj9a","hmfBnbuF4YmbpmC5J","iLTY6YXJF6THy9Lyc","it4tcbLoXrHNFam9f","jbE52xarsJTXAD8ma","koH6hayagychucm5f","m99WHWDWEst645cN7","oaAAqRsRz4HbWumXj","oqxgYgKwShbabAPDg","pBbKC63DknjWpXv6f","pgcvBWkwJHeWDSePe","qeWoMcKfQEvNqnkct","uxQRXFz86d3WXaut2","vAj2ZYa4B6YQCJqPY","vepX2hk9vhCZqMmur","wfRrXWqYC8yynYHdz","yNHRpnaKGh5K9w3Y4","yXMoKynEJwXBrgPgg"],"author_short":["Ma, H.","Goel, A.","Jeannin, J.","Kapritsos, M.","Kasikci, B.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Ma"],"firstnames":["Haojun"],"suffixes":[]},{"propositions":[],"lastnames":["Goel"],"firstnames":["Aman"],"suffixes":[]},{"propositions":[],"lastnames":["Jeannin"],"firstnames":["Jean-Baptiste"],"suffixes":[]},{"propositions":[],"lastnames":["Kapritsos"],"firstnames":["Manos"],"suffixes":[]},{"propositions":[],"lastnames":["Kasikci"],"firstnames":["Baris"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"I4: Incremental Inference of Inductive Invariants forVerification of Distributed Protocols","booktitle":"The 27th ACM Symposium on Operating Systems Principles (SOSP 2019)","address":"Huntsville, Ontario, Canada","pages":"370–384","month":"October","year":"2019","doi":"https://doi.org/10.1145/3341301.3359651","bibtex":"@inproceedings{ma2019i4,\n author = {Ma, Haojun and Goel, Aman and Jeannin, Jean-Baptiste and Kapritsos, Manos and Kasikci, Baris and Sakallah, Karem A.},\n title = {{I4: Incremental Inference of Inductive Invariants forVerification of Distributed Protocols}},\n booktitle = {The 27th ACM Symposium on Operating Systems Principles (SOSP 2019)},\n address = {Huntsville, Ontario, Canada},\n pages = {370--384},\n month = {October},\n year = {2019},\n doi = {https://doi.org/10.1145/3341301.3359651}\n}\n\n","author_short":["Ma, H.","Goel, A.","Jeannin, J.","Kapritsos, M.","Kasikci, B.","Sakallah, K. A."],"key":"ma2019i4","id":"ma2019i4","bibbaseid":"ma-goel-jeannin-kapritsos-kasikci-sakallah-i4incrementalinferenceofinductiveinvariantsforverificationofdistributedprotocols-2019","role":"author","urls":{},"metadata":{"authorlinks":{"sakallah, k":"https://web.eecs.umich.edu/~karem/publications/"}},"downloads":5},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","creationDate":"2019-07-03T12:46:46.291Z","downloads":5,"keywords":[],"search_terms":["incremental","inference","inductive","invariants","forverification","distributed","protocols","ma","goel","jeannin","kapritsos","kasikci","sakallah"],"title":"I4: Incremental Inference of Inductive Invariants forVerification of Distributed Protocols","year":2019,"dataSources":["dAWPbXiJP4ihEN4GZ"]}