D 2003

Using Assumptions to Distribute Model Checking

ŽÍDKOVÁ, Jitka

Basic information

Original name

Using Assumptions to Distribute Model Checking

Authors

ŽÍDKOVÁ, Jitka (203 Czech Republic, guarantor)

Edition

Brno, Česká republika, Počítačové Architektury & Diagnostika, p. 73-78, 6 pp. 2003

Publisher

Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/03:00008254

Organization unit

Faculty of Informatics

ISBN

80-214-2471-0

Keywords in English

verification; model checking; distribution

Tags

Změněno: 26/5/2004 16:20, Mgr. Jitka Žídková

Abstract

V originále

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.

Links

GA201/03/0509, research and development project
Name: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Czech Science Foundation, Automated Verification of Parallel and Distributed Systems
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing