Pages that link to "Item:Q5394168"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394168):
Displaying 10 items.
- Refining abstract interpretations (Q765513) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Comparing abstraction refinement algorithms (Q2845498) (← links)
- (Q3783620) (← links)
- (Q4472179) (← links)
- Structural-Abstraction Principles (Q4626020) (← links)
- (Q4825544) (← links)
- Successive Refinement of Abstract Sources (Q5211450) (← links)
- Computer Aided Verification (Q5312893) (← links)
- Structural Counter Abstraction (Q5326315) (← links)