Logic for reasoning about bugs in loops over data sequences (IFIL) (Q6062741)
From MaRDI portal
scientific article; zbMATH DE number 7773062
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic for reasoning about bugs in loops over data sequences (IFIL) |
scientific article; zbMATH DE number 7773062 |
Statements
Logic for reasoning about bugs in loops over data sequences (IFIL) (English)
0 references
2 December 2023
0 references
deductive verification
0 references
Hoare logic
0 references
bug localization
0 references
program incorrectness
0 references
loop invariant
0 references
finite iteration
0 references
C-lightVer
0 references
ACL2
0 references
