Trau: SMT solver for string constraints

PA Abdulla, MF Atig, YF Chen, BP Diep… - … Formal Methods in …, 2018 - ieeexplore.ieee.org
We introduce TRAU, an SMT solver for an expressive constraint language, including word
equations, length constraints, context-free membership queries, and transducer constraints …
被引用次数：46 相关文章

[引用][C] Trau: SMT Solver for String Constraints

PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík… - 2018 - ir.sinica.edu.tw
Trau: SMT Solver for String Constraints | Scholars Hub of the Academia Sinica Skip
navigation 中文 English DSpace CRIS DSpace logo Home Organizations Researchers …
[HTML] diva-portal.org

[HTML][HTML] Trau: SMT solver for string constraints

PA Abdulla, MF Atig, YF Chen, PD Bui… - 18th Conference on …, 2018 - diva-portal.org
We introduce TRAU, an SMT solver for an expressive constraint language, including word
equations, length constraints, context-free membership queries, and transducer constraints …
[PDF] utexas.edu

[PDF][PDF] TRAU: SMT solver for string constraints

PA Abdulla, MF Atig, YF Chen… - Formal Methods …, 2018 - repositories.lib.utexas.edu
We introduce TRAU, an SMT solver for an expressive constraint language, including word
equations, length constraints, context-free membership queries, and transducer constraints …
[PDF] ruemmer.org

[PDF][PDF] TRAU: SMT solver for string constraints

PA Abdulla, MF Atig, YF Chen, BP Diep, L Holık… - philipp.ruemmer.org
We introduce TRAU, an SMT solver for an expressive constraint language, including word
equations, length constraints, context-free membership queries, and transducer constraints …
[PDF] utexas.edu

[PDF][PDF] TRAU: SMT solver for string constraints

PA Abdulla, MF Atig, YF Chen, BP Diep, L Holık… - cs.utexas.edu
We introduce TRAU, an SMT solver for an expressive constraint language, including word
equations, length constraints, context-free membership queries, and transducer constraints …

TRAU: SMT solver for string constraints

PA Abdulla, MF Atig, YF Chen, B Phi Diep… - 18th Conference on …, 2018 - diva-portal.org
We introduce TRAU, an SMT solver for an expressive constraint language, including word
equations, length constraints, context-free membership queries, and transducer constraints …