Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis
Title | Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2019 |
Authors | Tabar, AHeydari, Bubel, R, Hähnle, R |
Conference Name | Proceedings of the PhD Symposium at iFM'19 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM) |
Pagination | 10-12 |
Publisher | Høgskulen på Vestlandet |
URL | https://hdl.handle.net/11250/2719437 |
Undefined