Using Assumptions to Distribute Model Checking

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ŽÍDKOVÁ Jitka

Year of publication 2003
Type Article in Proceedings
Conference Počítačové Architektury & Diagnostika
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords verification; model checking; distribution
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.