Automatic Loop Invariant Generation for Data Dependence Analysis
Title | Automatic Loop Invariant Generation for Data Dependence Analysis |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2022 |
Authors | Tabar, AHeydari, Bubel, R, Hähnle, R |
Conference Name | Proceedings of the 10th International Conference on Formal Methods in Software Engineering (FormaliSE) |
Pagination | 34-45 |
Publisher | ACM |
DOI | 10.1145/3524482.3527649 |
Undefined