Maximal and compositional pattern-based loop invariants (Q4647830)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6103216
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Maximal and compositional pattern-based loop invariants |
scientific article; zbMATH DE number 6103216 |
Statements
Maximal and Compositional Pattern-Based Loop Invariants (English)
0 references
8 November 2012
0 references
loop invariants
0 references
compositional reasoning
0 references
automatic invariant generation
0 references
0.7905777096748352
0 references
0.7774797677993774
0 references
0.7635790109634399
0 references
0.7623437643051147
0 references
0.7606995701789856
0 references
