Loop invariants (Q5176169)
From MaRDI portal
scientific article; zbMATH DE number 6410343
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Loop invariants |
scientific article; zbMATH DE number 6410343 |
Statements
Loop invariants (English)
0 references
2 March 2015
0 references
loop invariants
0 references
deductive verification
0 references
formal verification
0 references
preconditions
0 references
postconditions
0 references
