Přístupnostní navigace
E-application
Search Search Close
Product detail
HOLÍKOVÁ, L. JANKŮ, P.
Product type
software
Abstract
PICoSo contains an extended decision procedure for the straight-line fragment. In contrast to Sloth, PICoSo is able to solve constraints combining concatenation, regular expressions, transduction and length constraints. PICoSo uses a refined version of the Parikh image abstraction of finite automata to resolve string length constraints.
Keywords
String constraint solving, Program verification, Parikh Image, Alternating Finite Automata, Decision Procedure
Create date
31. 5. 2019
Location
Nástroj a dodatečné informace se nacházejí na ...
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www
https://www.fit.vut.cz/research/product/620/