Pages that link to "Item:Q5308422"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308422):
Displaying 4 items.
- Competent predicate abstraction in model checking (Q543199) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- On finite-state approximants for probabilistic computation tree logic (Q2576951) (← links)