The following pages link to (Q4783297):
Displaying 50 items.
- A logic of separating modalities (Q290917) (← links)
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Verification conditions for source-level imperative programs (Q465685) (← links)
- The dynamic frames theory (Q539422) (← links)
- Algebraic separation logic (Q549676) (← links)
- Inter-process buffers in separation logic with rely-guarantee (Q613139) (← links)
- Trace-based verification of imperative programs with I/O (Q617977) (← links)
- Frame rule for mutually recursive procedures manipulating pointers (Q732009) (← links)
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Ghost signals: verifying termination of busy waiting (Q832247) (← links)
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- A semantics for concurrent separation logic (Q879367) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Relational separation logic (Q879369) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Formal verification of a C-like memory model and its uses for verifying program transformations (Q945054) (← links)
- Graphical models of separation logic (Q989553) (← links)
- Semantics and logic of object calculi (Q1434358) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Formally verifying exceptions for low-level code with separation logic (Q1683698) (← links)
- A formal C memory model for separation logic (Q1694027) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Program logic and equivalence in the presence of garbage collection. (Q1874283) (← links)
- Model checking mobile ambients (Q1884885) (← links)
- An adaptation-complete proof system for local reasoning about cloud storage systems (Q2072067) (← links)
- Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Category-theoretic structure for independence and conditional independence (Q2130599) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Parameterized synthesis for fragments of first-order logic over data words (Q2200816) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Revisiting concurrent separation logic (Q2397039) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Verification of finite iterations over collections of variable data structures (Q2467973) (← links)
- Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Laws of Programming for References (Q2937790) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)
