Pages that link to "Item:Q2870770"
From MaRDI portal
The following pages link to Abstract Semantic Differencing for Numerical Programs (Q2870770):
Displaying 8 items.
- Symbolic automata for representing big code (Q300407) (← links)
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- Product programs and relational program logics (Q2374302) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Abstract Semantic Diffing of Evolving Concurrent Programs (Q5233236) (← links)
- PEQtest: testing functional equivalence (Q6535553) (← links)
- Lockstep composition for unbalanced loops (Q6536133) (← links)
- Analysis of software patches using numerical abstract interpretation (Q6536289) (← links)