Relational String Verification Using Multi-track Automata

DOI10.1007/978-3-642-18098-9_31zbMath1297.68280OpenAlexW2157623558MaRDI QIDQ3073648

Fang Yu, Oscar H. Ibarra, Tevfik Bultan

Publication date: 11 February 2011

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18098-9_31

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algorithms on strings (68W32)

Related Items (3)

Multitape NFA: Weak Synchronization of the Input Heads ⋮ On synchronized multi-tape and multi-head automata ⋮ On Synchronized Multitape and Multihead Automata

Uses Software

• Stranger

Cites Work

• Unnamed Item
• Unnamed Item
• RELATIONAL STRING VERIFICATION USING MULTI-TRACK AUTOMATA
• Path Feasibility Analysis for String-Manipulating Programs
• Symbolic String Verification: Combining String Analysis and Size Analysis
• Computer Aided Verification
• Computer Aided Verification

This page was built for publication: Relational String Verification Using Multi-track Automata