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