Detail publikace

Programs with Lists are Counter Automata

BOUAJJANI Ahmed, BOZGA Marius, HABERMEHL Peter, IOSIF Radu, MORO Pierre a VOJNAR Tomáš. Programs with Lists are Counter Automata. In: Computer Aided Verification. Lecture Notes in Computer Science, roč. 4144. Berlin: Springer Verlag, 2006, s. 517-531. ISBN 978-3-540-37406-0.
Název česky
Programy nad seznamy jsou čítačové automaty
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Bozga Marius (VERIMAG)
Habermehl Peter (UPAR7)
Iosif Radu (VERIMAG)
Moro Pierre (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Článek dokazuje velmi silnou souvislost (konkrétně bisimulaci) mezi programy nad lineárními seznamy a čítačovými automaty. Této souvislosti lze efektivně využít k formální verifikaci programů s lineárními seznamy pomocí nástrojů vyvinutých pro verifikaci nad čítačovými automaty.

Rok
2006
Strany
517-531
Sborník
Computer Aided Verification
Řada
Lecture Notes in Computer Science
Svazek
4144
Konference
The 2006 Federated Logic Conference -- FLoC'06 / 18th International Conference on Computer-Aided Verification -- CAV'06, Seattle, Washington, US
ISBN
978-3-540-37406-0
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INPROCEEDINGS{FITPUB8543,
   author = "Ahmed Bouajjani and Marius Bozga and Peter Habermehl and Radu Iosif and Pierre Moro and Tom\'{a}\v{s} Vojnar",
   title = "Programs with Lists are Counter Automata",
   pages = "517--531",
   booktitle = "Computer Aided Verification",
   series = "Lecture Notes in Computer Science",
   volume = 4144,
   year = 2006,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-37406-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8543"
}
Nahoru