Search

Your search keyword '"Separation logic"' showing total 384 results

Search Constraints

Start Over You searched for: Descriptor "Separation logic" Remove constraint Descriptor: "Separation logic" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
384 results on '"Separation logic"'

Search Results

1. Relative Completeness of Incorrectness Separation Logic

2. Verification Algorithms for Automated Separation Logic Verifiers

3. Advanced Memory and Shape Analyses

4. What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

6. nekton: A Linearizability Proof Checker

7. Make Flows Small Again: Revisiting the Flow Framework

9. Separating Separation Logic – Modular Verification of Red-Black Trees

10. A Verified Implementation of B-Trees in Isabelle/HOL

11. The Prusti Project: Formal Verification for Rust

12. Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms

13. Gobra: Modular Specification and Verification of Go Programs

14. Pointer Program Synthesis as Non-deterministic Planning

15. Compositional Satisfiability Solving in Separation Logic

16. Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms

17. Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model

18. A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms

19. Formal Verification of Parallel Prefix Sum

20. Reasoning over Permissions Regions in Concurrent Separation Logic

21. Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic

22. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

23. Resource Separation in Dynamic Logic of Propositional Assignments

24. Starvation-Free Monitors

25. Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle

26. A Separation Logic with Data: Small Models and Automation

27. Compositional Non-interference for Concurrent Programs via Separation and Framing

28. Modular Tableaux Calculi for Separation Theories

29. On the Complexity of Pointer Arithmetic in Separation Logic

30. Automated Modular Verification for Relaxed Communication Protocols

31. False Failure: Creating Failure Models for Separation Logic

35. Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations

36. The Essence of Higher-Order Concurrent Separation Logic

37. Temporary Read-Only Permissions for Separation Logic

38. Bringing Order to the Separation Logic Jungle

39. A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic

40. Biabduction (and Related Problems) in Array Separation Logic

41. Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments

42. Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic

43. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

45. Pointer Logic

46. Automating Abstract Interpretation

47. Viper: A Verification Infrastructure for Permission-Based Reasoning

48. One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast

49. Comparison Between Model Fields and Abstract Predicates

50. Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution

Catalog

Books, media, physical & digital resources