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):
Displaying 15 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)
- Forest automata for verification of heap manipulation (Q2441715) (← 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)
- Pattern-based verification of programs with extended linear linked data structures (Q2863858) (← 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)
- Simulating reachability using first-order logic with applications to verification of linked data structures (Q3636811) (← links)
- Computer Aided Verification (Q5312907) (← links)