A Learning-Based Approach to Synthesizing Invariants for Incomplete 
Verification Engines

Neider, Daniel; Madhusudan, P.; Saha, Shambwaditya; Garg, Pranav; Park, Daejun

doi:10.1007/s10817-020-09570-z

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

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)

Neider2020_Article_ALearning-BasedApproachToSynth.pdf
(Publisher version), 817KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Neider, D., Madhusudan, P., Saha, S., Garg, P., & Park, D. (2020). A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning, 64, 1523-1552. doi:10.1007/s10817-020-09570-z.

Cite as: https://hdl.handle.net/21.11116/0000-0008-7CCB-9

Abstract

There is no abstract available