位置：成果数据库 > 期刊 > 期刊详情页
良基归纳法在时序逻辑程序不变式验证中的应用
  • 期刊名称：杨潇潇，段振华， “良基归纳法在时序逻辑程序不变式验证中的应用”，计算机科学，2009.7（已录用）
  • 时间：0
  • 相关项目：框架时序逻辑程序设计
同期刊论文项目
框架时序逻辑程序设计
期刊论文 54 会议论文 46 获奖 1 著作 3
同项目期刊论文
混合系统的符号化可达性分析
多速率混合系统的符号化可达性分析
多速率混合系统的模型检查
使用扩展区间时序逻辑为并发工作流建模
基于扩展投影时序逻辑的组合Web服务描述与验证
A decision procedure for propositional projection temporal logic with infinite models
支持MDA的交互式需求获取方法及辅助工具
Modeling and verifying composite web services based on semantic annotated Petri nets
基于AIG推理的组合电路等价性检验
时序逻辑程序的模型检测
Opacity generalised to transition systems
Attribute reduction in consistent decision formal context
Formal semantics of OWL-S with F-logic
Extracting database interactions and generating test for web applications
一阶投影时序逻辑公理系统与系统验证
稠密时间区间时序逻辑的可满足性判定
一种基于Petri网的自动Web服务组合算法
框架投影时序逻辑程序设计语言中的指针
基于代数的模糊Petri网逆向推理算法
混和投影时序逻辑与混和系统的形式化验证
MSVL语言的公理系统的程序验证
状态图到PTL形式规范的转化
划分和时延驱动的动态可重构FPGA在线布局算法
Compositional abstractions for process networks
A note on stutter-invariant PLTL
Symbolic algorithm analysis of rectangular hybrid systems
Synthesis of elementary net systems with context arcs and localities
一种基于扩展有限自动机验证组合Web服务的方法
动态Web服务组合的选择策略
广义随机Petri网下的组合Web服务建模与评价
A review approach to detecting violations of consistency between specification and program structure
Framed temporal logic programming
Integrating AJAX and web services for cooperative image editing
面向对象的时序逻辑语言
基于工作流模式的OWL-S过程模型分析及其应用
Web服务提供方安全模型的设计、建模与分析
A compositional Petri net translation of generalπ-calculus terms
A proof system for projection temporal logic
入侵检测中模式匹配算法的FPGA实现
国际Petri网理论与应用最新研究进展
双变迁Petri网的电路模拟技术研究
量子遗传算法在Web服务选择中的应用
着色Petri网模型检测工具的扩展及其在Web服务组合中的应用
有穷时间投影时序逻辑的完备公理系统
投影时序逻辑在系统建模中的应用
基于事件确定有限自动机的UML2．0序列图描述与验证
Symbolic Algorithmic Analysis of Rectangular Hybrid Systems