INFINITY'08 -- 10. Mezinárodní workshop zaměřený na verifikaci nekonečně stavových systémů

Cílem workshopu Infinity je vytvořit fórum, na kterém mohou prezentovat a diskutovat své originální výsledky výzkumníci, kteří působí v oblasti vývoje algoritmických technik pro automatickou analýzu a verifikaci systémů s nekonečně mnoha stavy a v oblasti jejich aplikací pro verifikaci složitých softwarových a hardwarových systémů.