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. In Computer Aided Verification. LNCS 4144. 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) 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
LNCS 4144
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="LNCS 4144",
  pages="517--531",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-37406-0"
}
Nahoru