Solving String Constraints with Approximate Parikh Image

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F19%3APU135514" target="_blank" >RIV/00216305:26230/19:PU135514 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.fit.vut.cz/research/publication/12135/" target="_blank" >https://www.fit.vut.cz/research/publication/12135/</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-030-45093-9_59" target="_blank" >10.1007/978-3-030-45093-9_59</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Solving String Constraints with Approximate Parikh Image

Popis výsledku v původním jazyce

In this paper, we propose a refined version of the Parikh image abstraction of finite automata to resolve string length constraints. We integrate this abstraction into the string solver SLOTH, where on top of handling length constraints, our abstraction is also used to speed-up solving other types of constraints. The experimental results show that our extension of SLOTH has good results on simple benchmarks as well as on complex benchmarks that are real-word combinations of transducer and concatenation constraints.

Název v anglickém jazyce

Solving String Constraints with Approximate Parikh Image

Popis výsledku anglicky

In this paper, we propose a refined version of the Parikh image abstraction of finite automata to resolve string length constraints. We integrate this abstraction into the string solver SLOTH, where on top of handling length constraints, our abstraction is also used to speed-up solving other types of constraints. The experimental results show that our extension of SLOTH has good results on simple benchmarks as well as on complex benchmarks that are real-word combinations of transducer and concatenation constraints.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA17-12465S" target="_blank" >GA17-12465S: Verifikace a hledání chyb v pokročilém softwaru</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of EUROCAST'19

ISBN

978-3-030-45092-2

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

1-8

Název nakladatele

Springer International Publishing

Místo vydání

Heidelberg

Místo konání akce

Las Palmas de Gran Canaria, Canary Islands

Datum konání akce

17. 2. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—