Automatic loop invariant generation for data dependence analysis
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 18.05.2022 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4503-9287-7 KITopen-ID: 1000181399 |
| Erschienen in | FormaliSE '22: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering. Hrsg.: A. Hartmanns, I. Schaefer,S. Gnesi, N. Plat |
| Veranstaltung | 10th International Conference on Formal Methods in Software Engineering (FormaliSE 2022), Pittsburgh, PA, USA, 18.05.2022 – 22.05.2022 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 34–45 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus OpenAlex Dimensions |