Detail publikace

Programs with Lists are Counter Automata

IOSIF, R.; HABERMEHL, P.; VOJNAR, T.; BOUAJJANI, A.; BOZGA, M.; MORO, P. Programs with Lists are Counter Automata. Computer Aided Verification. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2006. p. 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
anglicky
Autoři
Radu Iosif
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Bouajjani Ahmed
Bozga Marius
Moro Pierre
Klíčová slova

formal verification, model checking, programs with linked lists, counter automata, bisimulation

Abstrakt

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

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
BibTeX 
@inproceedings{BUT34272,
  author="Iosif {Radu} and Peter {Habermehl} and Tomáš {Vojnar} and Ahmed {Bouajjani} and Marius {Bozga} and Pierre {Moro}",
  title="Programs with Lists are Counter Automata",
  booktitle="Computer Aided Verification",
  year="2006",
  series="Lecture Notes in Computer Science",
  volume="4144",
  pages="517--531",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-37406-0"
}
Nahoru