Detail publikace

Automata-Based Termination Proofs

IOSIF, R.; ROGALEWICZ, A. Automata-Based Termination Proofs. Implementation and Application of Automata. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2009. p. 165-177. ISBN: 978-3-642-02978-3.
Název česky
Dokazování konečnosti programů založené na automatech
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Radu Iosif
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
URL
Klíčová slova

Formal verification, Termination, Buchi automata, Tree automata, Programs with pointers

Abstrakt

V tomto článku prezentujeme novou metodu pro dokazování konečnosti programů pracujících nad nekonečně stavovými datovými strukturami. Program je v této metodě simulován buchi automatem takovým, že každý nekonečný běh odpovídá nekonečnému slovu akceptovanému tímto automatem.

Rok
2009
Strany
165–177
Sborník
Implementation and Application of Automata
Řada
Lecture Notes in Computer Science
Svazek
5642
ISBN
978-3-642-02978-3
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT30222,
  author="Iosif {Radu} and Adam {Rogalewicz}",
  title="Automata-Based Termination Proofs",
  booktitle="Implementation and Application of Automata",
  year="2009",
  series="Lecture Notes in Computer Science",
  volume="5642",
  pages="165--177",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-642-02978-3",
  url="http://www.springerlink.com/content/j026j27j77284lu3/fulltext.pdf"
}
Nahoru