Pages that link to "Item:Q5458406"
From MaRDI portal
The following pages link to Verification of Equivalent-Results Methods (Q5458406):
Displaying 6 items.
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- (Q4799471) (← links)
- A Technique for Verifying Measurements (Q5415642) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- Integrating ADTs in KeY and Their Application to History-Based Reasoning (Q6488468) (← links)
- Identifying overly restrictive matching patterns in SMT-based program verifiers (extended version) (Q6610379) (← links)