Zobrazeno 1 - 3
of 3
pro vyhledávání: '"nedeterminismus"'
Autor:
Lengál, Ondřej
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístup
Externí odkaz:
http://www.nusl.cz/ntk/nusl-261279
Autor:
Holík, Lukáš
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inklu
Externí odkaz:
http://www.nusl.cz/ntk/nusl-261252
Autor:
Fiedor, Tomáš
Tato práce se věnuje vylepšení současného stavu formalní analýzy a verifikace založené na automatech a zaměřené na systémy s nekonečnými stavovými prostory. V první části se práce zabývá dvěma rozhodovacími procedurami pro lo
Externí odkaz:
http://www.nusl.cz/ntk/nusl-442316