DIVINE - The Distributed Verification Environment

• 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
• 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