Demystifying Template-Based Invariant Generation for Bit-Vector Programs

The template-based approach to invariant generation is a parametric and relatively complete methodology for inferring loop invariants. The relative completeness ensures the generated invariants' accuracy up to the template's form and the inductive condition. However, there has been limited...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 673 - 685
Hlavní autoři:	Yao, Peisen, Ke, Jingyu, Sun, Jiahui, Fu, Hongfei, Wu, Rongxin, Ren, Kui
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 11.09.2023
Témata:	Arithmetic Benchmark testing Cognition comparison and analysis constraint solving Guidelines Invariant generation Semantics Software engineering
ISSN:	2643-1572
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!