Detail publikace

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing

HOLÍK, L.; VOJNAR, T.; CHEN, Y.; MAYR, R.; HONG, C.; ABDULLA, P.; CLEMENTE, L. Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing. Computer Aided Verification. Lecture Notes in Computer Science. Berlín: Springer Verlag, 2010. p. 132-147. ISBN: 978-3-642-14294-9.
Název česky
Simulační pokrytí v Ramseyho testu univerzality a Inkluze Büchiho automatů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Chen Yu-Fang
Mayr Richard
Hong Chih-Duo
Abdulla Parosh
Clemente Lorenzo
URL
Klíčová slova

Büchi automata, universality, language inclusion, Ramsey-based methods, simulation subsumption

Abstrakt

Existují dva základní přístupy k testování univerzality a jazykové inkluze Büchiho automatů. Tak zvané Ramseyho metody a metody využívající alternující automaty. V tomto článku rozvíjíme Ramseyho metodu, kterou obohacujeme o využití principu simulačního pokrytí. Jak dokazují naše experimenty, dosáhli jsme tak výrazného zvýšení efektivity Ramseyho metody.

Rok
2010
Strany
132–147
Sborník
Computer Aided Verification
Řada
Lecture Notes in Computer Science
Svazek
6174
ISBN
978-3-642-14294-9
Vydavatel
Springer Verlag
Místo
Berlín
BibTeX 
@inproceedings{BUT34732,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Yu-Fang {Chen} and Richard {Mayr} and Chih-Duo {Hong} and Parosh {Abdulla} and Lorenzo {Clemente}",
  title="Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing",
  booktitle="Computer Aided Verification",
  year="2010",
  series="Lecture Notes in Computer Science",
  volume="6174",
  pages="132--147",
  publisher="Springer Verlag",
  address="Berlín",
  isbn="978-3-642-14294-9",
  url="http://www.springerlink.com/content/n81060p2685rl46v/"
}
Nahoru