位置：成果数据库 > 期刊 > 期刊详情页
Verifying a Carry Look-Ahead Adder with Propositional Projection Temporal Logic
  • ISSN号：1022-4653
  • 期刊名称：Chinese Journal of Electronics
  • 时间：2013.1.1
  • 页码：21-24
  • 相关项目：基于APTL的开放系统模型检测
作者： Nan Zhang|Zhenhua Duan|Cong Tian|
同期刊论文项目
基于APTL的开放系统模型检测
期刊论文 26 会议论文 28 专利 13
同项目期刊论文
Transformation from PLTL to Automata via NFGs
A complete proof system for propositional projection temporal logic
Secure Communications with Strange Planet Protocol
ITL Semantics of Composite Petri Nets
进位保留加法器的命题投影时序逻辑组合验证
An Efficient Approach for Abstraction Refinement in Model Checking
性能非对称多核处理器上的自适应调度
A cylinder computation model for many-core parallel computing
PNP2MSVL：工作流网到MSVL的转换
真并发等价性下的流程模型转换方法
应用UML2.0模型的测试用例生成方法
基于命题投影时序逻辑的WISHBONE On-Chip Bus符号模型检测
基于命题投影时序逻辑的单调速率调度算法模型检测
有穷时间投影时序逻辑的完备公理系统
基于事件确定有限自动机的UML2．0序列图描述与验证
BPEL流程建模中的交叠模式分析与转换
PN2MSVL：工作流网到MSVL的转换
WISHBONE片上总线符号模型检测