Model Counting for Recursively-Defined Strings
| Autor: | Duc-Hiep Chu, Minh-Thai Trinh, Joxan Jaffar |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Model counting
Class (set theory) business.industry Computer science Concatenation String (computer science) 020207 software engineering 02 engineering and technology Substring Face (geometry) Kleene star 0202 electrical engineering electronic engineering information engineering Web application 020201 artificial intelligence & image processing Arithmetic business |
| Zdroj: | Computer Aided Verification ISBN: 9783319633893 CAV (2) |
| DOI: | 10.1007/978-3-319-63390-9_21 |
| Popis: | We present a new algorithm for model counting of a class of string constraints. In addition to the classic operation of concatenation, our class includes some recursively defined operations such as Kleene closure, and replacement of substrings. Additionally, our class also includes length constraints on the string expressions, which means, by requiring reasoning about numbers, that we face a multi-sorted logic. In the end, our string constraints are motivated by their use in programming for web applications. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|