Progressive Reasoning over Recursively-Defined Strings

DOI10.1007/978-3-319-41528-4_12zbMath1411.68031OpenAlexW2482729551MaRDI QIDQ4633536

Duc-Hiep Chu, Minh-Thai Trinh, Joxan Jaffar

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41528-4_12

zbMATH Keywords

terminationweb securitystring solvingprogressive search

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algorithms on strings (68W32)

Related Items (7)

An SMT solver for regular expressions and linear arithmetic over string length ⋮ Word equations in synergy with regular constraints ⋮ Chain-Free String Constraints ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dashed strings for string constraint solving ⋮ On equations and first-order theory of one-relator monoids

This page was built for publication: Progressive Reasoning over Recursively-Defined Strings