Automatic Loop Invariant Generation Using Predicate Abstraction for Dependence Analysis
| Titel | 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