Symbolic String Verification: Combining String Analysis and Size Analysis

DOI10.1007/978-3-642-00768-2_28zbMath1234.68269OpenAlexW1530609294MaRDI QIDQ3617765

Fang Yu, Oscar H. Ibarra, Tevfik Bultan

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_28

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (8)

Multitape NFA: Weak Synchronization of the Input Heads ⋮ On synchronized multi-tape and multi-head automata ⋮ Simple linear string constraints ⋮ Z3str2: an efficient solver for strings, regular expressions, and length constraints ⋮ A Slice-Based Decision Procedure for Type-Based Partial Orders ⋮ On Synchronized Multitape and Multihead Automata ⋮ Relational String Verification Using Multi-track Automata ⋮ An Evaluation of Automata Algorithms for String Analysis

Uses Software

• CSSV
• Saner

Cites Work

• Unnamed Item
• Unnamed Item
• Lifting abstract interpreters to quantified logical domains
• Computer Aided Verification
• Efficient Symbolic Representations for Arithmetic Constraints in Verification

This page was built for publication: Symbolic String Verification: Combining String Analysis and Size Analysis