Distribution of Explicit-State LTL Model-Checking

• Authors: BRIM Luboš; BARNAT Jiří
• Year of publication: 2003
• Type: Article in Periodical
• Magazine / Source: Electronic Notes in Theoretical Computer Science
• MU Faculty or unit: Faculty of Informatics
• Web: http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt
• Field: Informatics
• Keywords: model-checking; distribution; verification
• Description: 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