位置：成果数据库 > 期刊 > 期刊详情页
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
  • 期刊名称：软件学报, 2009, 20(8): 2026-2036
  • 时间：0
  • 相关项目：软件形式化方法
同期刊论文项目
软件形式化方法
期刊论文 27 会议论文 49
同项目期刊论文
A note on regular Petri nets
基于BDD的增量启发式搜索
A Direct Construction of Polynomial-size OBDD Proof of Pigeon Hole Problem
Ehrenfeucht-Fraisse Games in Finite Set Theory
Improved Bounded Model Checking for Universal Fragment of CTL
Rate monotonic scheduling re-analysed
Clustering with feature order preferences
Symbolic decision procedure for termination
采用了剪枝优化的子类型关系判定
A Precongruence Format For Should Testing Preorder
Loop formulas for description logic programs
On the Expressive Power of Schemes
Connection between logical and algebraical approaches to concurrent systems
On hierarchically developing reactive systems
A Novel Formalization of Symbolic Trajectory Evaluation Semantics in Isabelle/HOL
片上多核处理器存储一致性验证
Robust Exponential Stability of Uncertain Singular Markovian Jump Time-delay Systems
改进的以SMT为基础的实时系统限界模型检测
采用了剪枝优化的子类型关系判定算法
Improved Bounded Model Checking for the Universal Fragment of CTL
直觉线性μ-演算中的合成推理