DIVINE - The Distributed Verification Environment

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	DIVINE -- Prostředí pro distribuovanou verifikaci
Autoři	BARNAT Jiří BRIM Luboš ČERNÁ Ivana ŠIMEČEK Pavel
Rok publikování	2005
Druh	Článek ve sborníku
Konference	In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a Pavel ŠIMEČEK. DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal: TU Munchen, 2005, s. 89-94.
Obor	Informatika
Klíčová slova	distributed; parallel; model-checking
Popis	Představujeme základní koncepty a současný stav obecného prostředí pro distribuovanou verifikaci (DiVinE). Toto prostředí má za cíl podporovat vývoj distribuovaných enumerativních algoritmů pro ověřování modelů, umožnit unifikované a důvěryhodné porovnání těchto algoritmů a zpřístupnit distribuovanou verifikaci odborné veřejnosti ve formě distribuovaného verifikačního nástroje.
Související projekty:	Automatizovaná verifikace paralelních a distribuovaných systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Vysoce paralelní a distribuované výpočetní systémy