Detail výsledku

Relational Verification of Programs with Integer Data

KONEČNÝ, F. Relational Verification of Programs with Integer Data. Brno: Faculty of Information Technology BUT, 2012. 153 p.
Typ
dizertace
Jazyk
angličtina
Autoři
Konečný Filip, Ing., Ph.D., FIT (FIT)
Klíčová slova

programs with integers, counter automata, reachability analysis, termination analysis, acceleration, transitive closures, procedure summaries, recurrent sets, termination preconditions

Rok
2012
Strany
153
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT192866,
  author="Filip {Konečný}",
  title="Relational Verification of Programs with Integer Data",
  year="2012",
  pages="153",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/10182/"
}
Soubory
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru