Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding (Q6611968)
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: Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding |
scientific article; zbMATH DE number 7919847
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding |
scientific article; zbMATH DE number 7919847 |
Statements
Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding (English)
0 references
27 September 2024
0 references
Hoare logic
0 references
program verification
0 references
deep embedding
0 references
shallow embedding
0 references
machine-checked proofs
0 references
separation logic
0 references
0 references
