DivSPIN - A SPIN compatible distributed model checker
| Název česky | DivSPIN - distribuovaný model checker kompatibilní se SPINem |
|---|---|
| Autoři | |
| 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 | |
| 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: |