位置：成果数据库 > 期刊 > 期刊详情页
Combining search space partition and abstraction for LTL model checking
  • 时间：0
  • 相关项目：开放反应系统的模型检测与合成
同期刊论文项目
开放反应系统的模型检测与合成
期刊论文 13 会议论文 15
同项目期刊论文
Intuitionistic Linear-time μ-Calculus
The Complexity of Dual Models Problem of Propositional Linear Temporal Logic
一种基于监控理论的软件设计方法：状态性质变换方法
基于迁移的扩展Buchi自动机到Buchi自动机的有效转换
Structure of Proofs and the Complexity of Cut Elimination
A polynomial dynamic system approach to software design for attractivity requirement
命题线性时序逻辑的对偶模型问题的复杂性
从基于迁移的扩展Büchi自动机到Büchi自动机
直觉线性μ-演算
Improved Bounded Model Checking for the Universal Fragment of CTL
直觉线性μ-演算中的合成推理