Pages that link to "Item:Q3613377"
From MaRDI portal
The following pages link to Static Analysis of String Manipulations in Critical Embedded C Programs (Q3613377):
Displaying 6 items.
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Access Analysis-Based Tight Localization of Abstract Memories (Q3075495) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- (Q4778703) (← links)
- Non-disjunctive Numerical Domain for Array Predicate Abstraction (Q5458394) (← links)