Using Assumptions to Distribute Model Checking
| Authors | |
|---|---|
| Year of publication | 2003 |
| Type | Article in Proceedings |
| Conference | Počítačové Architektury & Diagnostika |
| MU Faculty or unit | |
| 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: |