Detail publikace

An Anti Chain-based Approach to Recursive Program Verification

HOLÍK, L.; MEYER, R.; MUSKALLA, S. An Anti Chain-based Approach to Recursive Program Verification. In Proceedings of International Conference on Networked Systems. Lecture Notes in Computer Science (LNCS). Cham: Springer International Publishing, 2016. p. 322-336. ISBN: 978-3-319-26849-1.
Název česky
Proitiřetězce pro verifikaci rekurzivních programů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Meyer Roland, Prof. Dr.
Muskalla Sebastian (FIT)
URL
Klíčová slova

bezkontextové jazyky regulární jazyky  test jazykové inkluze  paralelní programy verifikace omezené přepínání kontextu

Abstrakt

Prezentujeme algoritmus pro testování inkluze jazyka bezkontextové gramatiky v jazyce konečného automatu založené na protiřetězcích, s potenciální aplikace ve verifikaci rekurzivních programů, a dále zobecnění tohoto algoritmu na omezené přepínání kontextu.

Anotace

Prezentujeme algoritmus pro testování inkluze jazyka bezkontextové gramatiky v jazyce konečného automatu založené na protiřetězcích, s potenciální aplikace ve verifikaci rekurzivních programů, a dále zobecnění tohoto algoritmu na omezené přepínání kontextu.

Rok
2016
Strany
322–336
Sborník
Proceedings of International Conference on Networked Systems
Řada
Lecture Notes in Computer Science (LNCS)
Konference
The international conference on networked systems, Boulevard du 20 aout, Agadir, Morocco, MA
ISBN
978-3-319-26849-1
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-319-26850-7_22
EID Scopus
2-s2.0-84961148811
BibTeX 
@inproceedings{BUT134220,
  author="Lukáš {Holík} and Roland {Meyer} and Sebastian {Muskalla}",
  title="An Anti Chain-based Approach to Recursive Program Verification",
  booktitle="Proceedings of International Conference on Networked Systems",
  year="2016",
  series="Lecture Notes in Computer Science (LNCS)",
  pages="322--336",
  publisher="Springer International Publishing",
  address="Cham",
  doi="10.1007/978-3-319-26850-7\{_}22",
  isbn="978-3-319-26849-1",
  url="https://link.springer.com/chapter/10.1007%2F978-3-319-26850-7_22"
}
Nahoru