DIVINE - The Distributed Verification Environment

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou 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
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.