Using Assumptions to Distribute Model Checking
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F03%3A00008254" target="_blank" >RIV/00216224:14330/03:00008254 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Using Assumptions to Distribute Model Checking
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automated Verification of Parallel and Distributed Systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Počítačové Architektury & Diagnostika
ISBN
80-214-2471-0
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
73-78
Publisher name
Vysoké učení technické v Brně, Fakulta Informačních technologií, Ustav počítačových systémů
Place of publication
Brno, Česká republika
Event location
Zvíkovské Podhradí
Event date
Sep 24, 2003
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—