Detail publikace

Chain-Free String Constraints

ABDULLA, P.; ATIG, M.; BUI PHI, D.; HOLÍK, L.; JANKŮ, P. Chain-Free String Constraints. In Proceedings of ATVA'19. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. p. 277-293. ISBN: 978-3-030-31783-6.
Název česky
Řetězová omezení bez cyklů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Abdulla Parosh
Atig Mohamed (FIT)
Bui Phi Diep (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Janků Petr, Ing. (UITS)
URL
Klíčová slova

Satisfiability modulo theories, String constraint solving, Program verification

Abstrakt

Tento článek přichází s největším dosud známým rozhodnutelným fragmentem nad řetězcovými omezeními a rozhodovací procedurou pro tento fragment. Vzniklý nástroj podporuje bohatý vstupní jazyk nad řetězcovými omezeními a je efektivnější než jiné současné nástroje.

Rok
2019
Strany
277–293
Sborník
Proceedings of ATVA'19
Řada
Lecture Notes in Computer Science
Svazek
11781
Konference
17th International Symposium on Automated Technology for Verification and Analysis, Taipei, TW
ISBN
978-3-030-31783-6
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-030-31784-3_16
UT WoS
000723515700016
EID Scopus
2-s2.0-85076097976
BibTeX 
@inproceedings{BUT161469,
  author="Parosh {Abdulla} and Mohamed {Atig} and Diep {Bui Phi} and Lukáš {Holík} and Petr {Janků}",
  title="Chain-Free String Constraints",
  booktitle="Proceedings of ATVA'19",
  year="2019",
  series="Lecture Notes in Computer Science",
  volume="11781",
  pages="277--293",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-030-31784-3\{_}16",
  isbn="978-3-030-31783-6",
  url="https://link.springer.com/chapter/10.1007/978-3-030-31784-3_16"
}
Nahoru