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á bibliografia

Vydané v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 673 - 685
Hlavní autori:	Yao, Peisen, Ke, Jingyu, Sun, Jiahui, Fu, Hongfei, Wu, Rongxin, Ren, Kui
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 11.09.2023
Predmet:	Arithmetic Benchmark testing Cognition comparison and analysis constraint solving Guidelines Invariant generation Semantics Software engineering
ISSN:	2643-1572
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!