Pages that link to "Item:Q3224956"
From MaRDI portal
The following pages link to RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA (Q3224956):
Displaying 6 items.
- On the open problem of Ginsburg concerning semilinear sets and related problems (Q391304) (← links)
- Automata-based symbolic string analysis for vulnerability detection (Q2248096) (← links)
- Relational String Verification Using Multi-track Automata (Q3073648) (← links)
- On the Boundedness Property of Semilinear Sets (Q4922123) (← links)
- Graph Logics with Rational Relations (Q5278208) (← links)
- Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines (Q6116186) (← links)
