Pages that link to "Item:Q5452717"
From MaRDI portal
The following pages link to Sufficient Preconditions for Modular Assertion Checking (Q5452717):
Displaying 5 items.
- Precondition Inference from Intermittent Assertions and Application to Contracts on Collections (Q3075478) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Context-Sensitive Multivariant Assertion Checking in Modular Programs (Q5387906) (← links)
- Transformation-Enabled Precondition Inference (Q6063861) (← links)