Horn-ICE Learning for Synthesizing Invariants and Contracts

Ezudheen, P.; Neider, Daniel; D'Souza, Deepak; Garg, Pranav; Madhusudan, P.

doi:10.1145/3276501

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

Horn-ICE Learning for Synthesizing Invariants and Contracts

MPS-Authors

/persons/resource/persons215577

Neider, Daniel
Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Ezudheen, P., Neider, D., D'Souza, D., Garg, P., & Madhusudan, P. (2018). Horn-ICE Learning for Synthesizing Invariants and Contracts. Proceedings of the ACM on Programming Languages, 2(OOPSLA): 131, pp. 1-25. doi:10.1145/3276501.

Cite as: https://hdl.handle.net/21.11116/0000-0003-3071-7

Abstract

There is no abstract available