Automatic loop invariant generation for data dependence analysis
| Autor: | Asmae Heydari Tabar, Richard Bubel, Reiner Hähnle |
|---|---|
| Rok vydání: | 2022 |
| Zdroj: | Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|