Detail publikace

Cut-offs and Automata in Formal Verification of Infinite-State Systems

VOJNAR, T. Cut-offs and Automata in Formal Verification of Infinite-State Systems. FIT Monograph 1. FIT Monograph 1. Brno: Faculty of Information Technology BUT, 2007. 189 p. ISBN: 978-80-214-3547-6.
Název česky
Řezy a automaty ve formální verifikaci nekonečně stavových systémů
Typ
kniha odborná
Jazyk
anglicky
Autoři
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Formal verification, infinite-state systems, model checking, cut-offs, symbolic model checking, regular model checking.

Abstrakt

Tato práce diskutuje využití řezů a automatů ve formální verifikaci nekonečně stavových systémů.

Rok
2007
Strany
189
Řada
FIT Monograph 1
ISBN
978-80-214-3547-6
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@book{BUT61919,
  author="Tomáš {Vojnar}",
  title="Cut-offs and Automata in Formal Verification of Infinite-State Systems",
  year="2007",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  series="FIT Monograph 1",
  pages="189",
  isbn="978-80-214-3547-6"
}
Nahoru