Pages that link to "Item:Q3176371"
From MaRDI portal
The following pages link to Abstraction and Abstraction Refinement (Q3176371):
Displaying 14 items.
- Comparing abstraction refinement algorithms (Q2845498) (← links)
- Explicit-State Model Checking (Q3176363) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Interpolation and Model Checking (Q3176372) (← links)
- Predicate Abstraction for Program Verification (Q3176373) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)
- Which Abstraction Principles are Acceptable? Some Limitative Results (Q3638863) (← links)
- (Q4472179) (← links)
- (Q4536725) (← links)
- (Q4825544) (← links)
- Successive Refinement of Abstract Sources (Q5211450) (← links)
- Structural Counter Abstraction (Q5326315) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)