Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Verification of Procedure Equivalence in the Presence of Memory Allocation |
scientific article |
Statements
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (English)
0 references
19 May 2017
0 references
program equivalence
0 references
program verification
0 references
version-aware verification
0 references
