Pages that link to "Item:Q3176374"
From MaRDI portal
The following pages link to Combining Model Checking and Data-Flow Analysis (Q3176374):
Displayed 4 items.
- Verification by gambling on program slices (Q2147204) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K (Q5883569) (← links)
- Upper bound computation of information leakages for unbounded recursion (Q6045049) (← links)