DivSPIN - A SPIN compatible distributed model checker

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 DivSPIN - distribuovaný model checker kompatibilní se SPINem
Autoři

BARNAT Jiří FOREJT Vojtěch LEUCKER Martin WEBER Michael

Rok publikování 2005
Druh Článek ve sborníku
Konference 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; SPIN
Popis Tento článek popisuje návrh a myšlenky implementace, které rozšiřují paralelní a distribuovaný model checker DiVinE na distribuovaný model checker DivSPIN kompatibilní se SPINem. Cílem DivSPINu je sloužit jako uživatelsky přítulný a dostupný systém pro ověřování modelů, který využívá nejnovější teoretické a praktické poznatky z oblasti distribuovaného ověřování modelu. Tyto poznatky jsou v rámci prototypu DivSPIN kombinovány s postupy používanými při práci se sekvenčními model checkery, což umožňuje ukázat mnohé výhody paralelního a distribuovaného ověřování modelu při verifikaci typických úkolů. V tomto projektu spojily své síly výzkumné týmy z Masarykovy Univerzity v Brně, RWTH Univerzity v Aachenu a TU v Mnichově.
Související projekty:

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

Další info