Pages that link to "Item:Q5711490"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5711490):
Displayed 12 items.
- Verification of multi-linked heaps (Q439948) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Approximate super- and sub-harmonic response of a multi-DOFs system with local cubic nonlinearities under resonance (Q1952883) (← links)
- Verify heaps via unified model checking (Q1986561) (← links)
- Fuzzy set abstraction (Q2130563) (← links)
- Abstraction Refinement for Quantified Array Assertions (Q3392917) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
- The Spotlight Principle (Q5452606) (← links)