Informace o publikaci

Using Assumptions to Distribute Model Checking

Logo poskytovatele
Autoři

ŽÍDKOVÁ Jitka

Rok publikování 2003
Druh Článek ve sborníku
Konference Počítačové Architektury & Diagnostika
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova verification; model checking; distribution
Popis Our work focuses on distributing model checking, which is probably the most widely used verification technique. We propose a framework that allows to distribute various model checking algorithms. The state space is divided into fragments and we use assumptions to represent missing parts of the verified system on each computer. Formal correctness proof of the scheme and experimental results has been given as well.
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