Detail výsledku

Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08

HABERMEHL, P.; VOJNAR, T. Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08. Toronto: Faculty of Information Technology BUT, 2008. 74 p. ISBN: 978-80-214-3697-8.
Typ
konferenční sborník (ne stať)
Jazyk
anglicky
Autoři
Habermehl Peter
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with infinitely many states, and their application in automated verification of complex software and hardware systems.

Klíčová slova

workshop, proceedings, verification, infinite-state systems

Rok
2008
Strany
74
Konference
INFINITY'08 -- 10th International Workshop on Verification of Infinite-State Systems
ISBN
978-80-214-3697-8
Vydavatel
Faculty of Information Technology BUT
Místo
Toronto
BibTeX 
@proceedings{BUT65311,
  editor="Peter {Habermehl} and Tomáš {Vojnar}",
  title="Proceedings of 10th International Workshop on Verification of Infinite-State Systems - INFINITY'08",
  year="2008",
  pages="74",
  publisher="Faculty of Information Technology BUT",
  address="Toronto",
  isbn="978-80-214-3697-8"
}
Projekty
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Fakulta informačních technologií (FIT)
Ústav inteligentních systémů (UITS)
Nahoru