Pages that link to "Item:Q5308432"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308432):
Displaying 16 items.
- Reflections on termination of linear loops (Q832249) (← links)
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Abstract neural networks (Q2233525) (← links)
- Fragment abstraction for concurrent shape analysis (Q2323989) (← links)
- View-augmented abstractions (Q2814101) (← links)
- Shape analysis of sets (Q2917408) (← links)
- Sound and Complete Abstract Graph Transformation (Q3098055) (← links)
- Compositional Shape Analysis by Means of Bi-Abduction (Q5395670) (← links)
- Towards Abstraction-Based Verification of Shape Calculus (Q5404093) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
- Constructing Specialized Shape Analyses for Uniform Change (Q5452609) (← links)
- Static Analysis (Q5466563) (← links)
- Static Analysis (Q5466566) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711489) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901913) (← links)