Detail publikace

Solving String Constraints with Approximate Parikh Image

HOLÍKOVÁ, L.; JANKŮ, P. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. p. 1-8. ISBN: 978-3-030-45092-2.
Název česky
Řešení řetězcových omezení pomocí přibližného Parikh Image
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holíková Lenka, Ing., Ph.D. (UITS)
Janků Petr, Ing. (UITS)
Klíčová slova

String constraint solving, Program verification, Parikh Image, Alternating Finite Automata, Decision Procedure

Abstrakt

Tento článek představuje nový nástroj pro řešení řetězcových a délkových omezení pomocí přibližného počítání Parikh Image nad alternujícími automaty.

Rok
2019
Strany
1–8
Sborník
Proceedings of EUROCAST'19
Řada
Lecture Notes in Computer Science
ISBN
978-3-030-45092-2
Vydavatel
Springer International Publishing
Místo
Heidelberg
DOI
10.1007/978-3-030-45093-9_59
EID Scopus
2-s2.0-85083999125
BibTeX 
@inproceedings{BUT162295,
  author="Lenka {Holíková} and Petr {Janků}",
  title="Solving String Constraints with Approximate Parikh Image",
  booktitle="Proceedings of EUROCAST'19",
  year="2019",
  series="Lecture Notes in Computer Science",
  pages="1--8",
  publisher="Springer International Publishing",
  address="Heidelberg",
  doi="10.1007/978-3-030-45093-9\{_}59",
  isbn="978-3-030-45092-2",
  url="https://www.fit.vut.cz/research/publication/12135/"
}
Nahoru