The following pages link to Assertion Checking Unified (Q5452620):
Displayed 5 items.
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Context unification with one context variable (Q1041589) (← links)
- Combining Model Checking and Data-Flow Analysis (Q3176374) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
- What’s Decidable About Program Verification Modulo Axioms? (Q5164172) (← links)