Using Assumptions to Distribute Model Checking

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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:	Automatizovaná verifikace paralelních a distribuovaných systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů