Pages that link to "Item:Q436400"

The following pages link to Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400):

Displaying 21 items.

• Symbolic execution proofs for higher order store programs (Q287265) (← links)
• Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
• Verifying pointer safety for programs with unknown calls (Q604389) (← links)
• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
• Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
• VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238) (← links)
• Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
• Nested antichains for WS1S (Q1733101) (← links)
• Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
• A learning-based approach to synthesizing invariants for incomplete verification engines (Q2208307) (← links)
• Automated repair of heap-manipulating programs using deductive synthesis (Q2234087) (← links)
• Automated mutual induction proof in separation logic (Q2414251) (← links)
• Completeness and expressiveness of pointer program verification by separation logic (Q2417849) (← links)
• A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
• Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)
• Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (Q2988661) (← links)
• Decision Procedure for Separation Logic with Inductive Definitions and Presburger Arithmetic (Q3179308) (← links)
• Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
• Lazy Automata Techniques for WS1S (Q3303905) (← links)
• Disproving Inductive Entailments in Separation Logic via Base Pair Approximation (Q3455777) (← links)
• (Q5111651) (← links)