LTL Path Checking Is Efficiently Parallelizable
LTL Path Checking Is Efficiently Parallelizable
复制标题
LTL 路径检查可高效并行化
DOI：
10.1007/978-3-642-02930-1_20
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Bernd Finkbeiner
中科院分区：
文献类型：
--
作者：
Lars Kuhtz;Bernd Finkbeiner
我们提出了一个AC1（logDCFL）算法检查有限路径上的LTL公式，从而建立该问题可以有效地并行化。我们的建设提供了一个基础，在监控，测试和验证的各种应用程序的并行化。
We present an AC1(logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a foundation for the parallelization of various applications in monitoring, testing, and verification.
登录
查看更多内容
具有交集的正则表达式的隶属度问题在 LOGCFL 中完成
DOI：
--
发表时间：
2002
期刊：
Symposium on Theoretical Aspects of Computer Science
影响因子：
--
作者：
H. Petersen
通讯作者：
H. Petersen
基于自动机的 PSL 属性断言检查器综合
DOI：
10.1145/1297666.1297670
发表时间：
2008
期刊：
ACM Trans. Design Autom. Electr. Syst.
影响因子：
--
作者：
M. Boule;Z. Zilic
通讯作者：
Z. Zilic
高阶模型检验的平均情况硬度
DOI：
--
发表时间：
2020
期刊：
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
影响因子：
--
作者：
Yoshiki Nakamura;Kazuyuki Asada;Naoki Kobayashi;Ryoma Sin'ya;Takeshi Tsukada
通讯作者：
Takeshi Tsukada
关于有限自动机某些决策问题的空间复杂度的注解
影响因子：
0.5
作者：
Tao Jiang;B. Ravikumar
通讯作者：
B. Ravikumar
计算复杂性电子座谈会，报告第 130 号 (2006) One-input-face MPCVP is Hard for L, but in
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Martina Favero;H. Hult
通讯作者：
H. Hult