Detail publikace

Antichains for the Verification of Recursive Programs

HOLÍK Lukáš, MEYER Roland a MUSKALLA Sebastian. Antichains for the Verification of Recursive Programs. In: Proceedings of International Conference on Networked Systems. Lecture Notes in Computer Science (LNCS). Cham: Springer International Publishing, 2016, s. 322-336. ISBN 978-3-319-26849-1. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-319-26850-7_22
Název česky
Proitiřetězce pro verifikaci rekurzivních programů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Meyer Roland (UNIKL)
Muskalla Sebastian (UNIKL)
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, CH
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10879,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Roland Meyer and Sebastian Muskalla",
   title = "Antichains for the Verification of Recursive Programs",
   pages = "322--336",
   booktitle = "Proceedings of International Conference on Networked Systems",
   series = "Lecture Notes in Computer Science (LNCS)",
   year = 2016,
   location = "Cham, CH",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-26849-1",
   doi = "10.1007/978-3-319-26850-7\_22",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10879"
}
Nahoru