Publication details
Distribution of Explicit
-State LTL Model-Checking
| Basic information | |
|---|---|
| Original title: | Distribution of Explicit-State LTL Model-Checking |
| Authors: | Luboš Brim, Jiří Barnat |
| Inferior responsibility: | Editors Thomas Arts, Wan Fokking |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš - BARNAT, Jiří. Distribution of Explicit-State LTL Model-Checking. Electronic Notes in Theoretical Computer Science, Elsevier Science, The Nederlands. 2003, vol. Volume 80, no. 1, pp. 120-125. Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03). |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt |
| Type: | Article in Periodical |
| Keywords: | model-checking; distribution; verification |
We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.
Related projects:
- Automated Verification of Parallel and Distributed Systems
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
