The problems of C program verification (Q2963876)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The problems of C program verification |
scientific article; zbMATH DE number 6687730
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The problems of C program verification |
scientific article; zbMATH DE number 6687730 |
Statements
21 February 2017
0 references
automatic verification
0 references
C-kernel language
0 references
translation rule
0 references
verification condition
0 references
0.7915530800819397
0 references
0.7871381044387817
0 references
0.7858208417892456
0 references
0.7821680903434753
0 references
