Pages that link to "Item:Q3512506"
From MaRDI portal
The following pages link to Scalable Shape Analysis for Systems Code (Q3512506):
Displaying 23 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Verifying pointer safety for programs with unknown calls (Q604389) (← links)
- An array content static analysis based on non-contiguous partitions (Q681352) (← links)
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- Predicate extension of symbolic memory graphs for the analysis of memory safety correctness (Q2226974) (← links)
- Ranking function synthesis for bit-vector relations (Q2248069) (← links)
- A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
- Forest automata for verification of heap manipulation (Q2441715) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
- Counterexample Validation and Interpolation-Based Refinement for Forest Automata (Q2961572) (← links)
- Access Analysis-Based Tight Localization of Abstract Memories (Q3075495) (← links)
- A Machine-Checked Framework for Relational Separation Logic (Q3095237) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs (Q4916088) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- (Q5090983) (← links)
- Automated Cyclic Entailment Proofs in Separation Logic (Q5200020) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- Precision and the Conjunction Rule in Concurrent Separation Logic (Q5739357) (← links)