Pages that link to "Item:Q5394185"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394185):
Displaying 7 items.
- An efficient approach for abstraction-refinement in model checking (Q690465) (← links)
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- Abstraction and Refinement in Model Checking (Q3591392) (← links)
- Formal Verification Based on Guided Random Walks (Q3605460) (← links)
- Automata-Based Abstraction Refinement for µHORS Model Checking (Q4635849) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308429) (← links)
- A type-directed abstraction refinement approach to higher-order model checking (Q5408403) (← links)