Pages that link to "Item:Q5758100"
From MaRDI portal
The following pages link to A Reachability Predicate for Analyzing Low-Level Software (Q5758100):
Displaying 9 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- Reachability-based acyclicity analysis by abstract interpretation (Q1944776) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Theoretical Computer Science (Q5395068) (← links)
- Verification of Equivalent-Results Methods (Q5458406) (← links)
- Identifying overly restrictive matching patterns in SMT-based program verifiers (extended version) (Q6610379) (← links)