A generic intermediate representation for verification condition generation (Q5743596)
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 6539456
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A generic intermediate representation for verification condition generation |
scientific article; zbMATH DE number 6539456 |
Statements
A Generic Intermediate Representation for Verification Condition Generation (English)
0 references
5 February 2016
0 references
verification platforms
0 references
intermediate representation
0 references
verification conditions
0 references
program transformation
0 references
0.7389879822731018
0 references
0.7253410220146179
0 references
0.7209265232086182
0 references
0.7198909521102905
0 references
0.7076988816261292
0 references
