Model Classifications and Automated Verification

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Klasifikace modelů a automatická verifikace
Autoři	PELÁNEK Radek
Rok publikování	2008
Druh	Článek ve sborníku
Konference	Formal Methods for Industrial Critical Systems
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	PELÁNEK, Radek. Model Classifications and Automated Verification. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, s. 149-163. ISBN 978-3-540-79706-7.
Obor	Informatika
Klíčová slova	model checking; automated verification; state space
Popis	Díky rozvoji automatické verifikace, existuje dnes pro většinu verifikačních problémů několik technik. V mnoha případech se tyto techniky vzájemně doplňují - každá technika pracuje dobře pro jiné instance problému. Bohužel však není jasné, jak vybrat vhodnou techniku pro specifickou vstupní instanci. V této práci zdůvodňujeme, že problém výběru vhodné techniky a nastavení parametrů, by se měl uvažovat jako samostatný problém. Navrhujeme také několik klasifikací modelů a diskutujeme jejich aplikace v kontextu explicitního ověřování modelů.
Související projekty:	Institut Teoretické Informatiky Automatická analýza modelů pomocí procházení stavového prostoru