scientific article; zbMATH DE number 3410595
From MaRDI portal
Publication:5674963
Cited in
(34)- Operating system verification---an overview
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- The correctness of the Schorr-Waite list marking algorithm
- Data types, abstract data types and their specification problem
- Verify heaps via unified model checking
- Loop verification with invariants and contracts
- Region analysis for deductive verification of C programs
- Proving pointer programs in higher-order logic
- Partitioned memory models for program analysis
- Reasoning about assignments in recursive data structures
- Lightweight Separation
- scientific article; zbMATH DE number 3514943 (Why is no real title available?)
- Function extraction
- A survey of state vectors
- Separation logics and modalities: a survey
- Verification conditions for source-level imperative programs
- Formal study of functional orbits in finite domains
- Heaps and Data Structures: A Challenge for Automated Provers
- Verification of Equivalent-Results Methods
- Algebraic separation logic
- A Theory of Pointers for the UTP
- Inter-process buffers in separation logic with rely-guarantee
- An algebraic glimpse at bunched implications and separation logic
- Doomed program points
- Reasoning about memory layouts
- Rod Burstall: in memoriam (1934--2025)
- Quantitative separation logic and programs with lists
- Frame rule for mutually recursive procedures manipulating pointers
- Formalization of Refinement Calculus for Reactive Systems
- Algebra of Monotonic Boolean Transformers
- Formal verification of C systems code. Structured types, separation logic and theorem proving
- Balancing the load. Leveraging a semantics stack for systems verification
- Formal verification of a C-like memory model and its uses for verifying program transformations
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5674963)
