Pages that link to "Item:Q5703767"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703767):
Displayed 11 items.
- On the almighty wand (Q418137) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- A logic of reachable patterns in linked data-structures (Q2643337) (← links)
- Counterexample Validation and Interpolation-Based Refinement for Forest Automata (Q2961572) (← links)
- Bottom-Up Shape Analysis (Q3392926) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- On the Almighty Wand (Q3540188) (← links)