Distribution of Explicit-State LTL Model-Checking

Electronic Notes in Theoretical Computer Science（2003）

引用 6|浏览1

暂无评分

摘要

We give a brief summary of recent achievements in the Parallel and Distributed Systems Laboratory at the Faculty of Informatics in Brno that are related to the distribution of explicit-state LTL model-checking. Distribution and parallelization of verification algorithms is one of the current key research themes in the laboratory.

查看译文

关键词

state space,model checking,parallel computer,linear temporal logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要