位置：成果数据库 > 期刊 > 期刊详情页
On an Open Problem of Amadio a
  • 时间：0
  • 相关项目：软件形式化方法
作者： G.-Q. Zhang, Y. Jiang
同期刊论文项目
软件形式化方法
期刊论文 36 会议论文 33 著作 2
同项目期刊论文
Handling Synchronization Probl
Model-Based Testing of Concurr
约束求解与优化技术的结合
并发Java程序同步操作的有效删除
Property-preserving Compositio
UML活动图的时序逻辑语义
Model Checking Data Consistenc
Compositional Verification for
Eigenvariables, bracketing and
Refining and verifying a class
多线程程序数据竞争的静态检测
一种求解混合约束问题的快速完备
基于约束的主动规则终止性分析
Symbolic Test Generation Using
Computing along the axon
Deriving Non-determinism from
On String Languages Generated
约束问题求解
Symbolic Model Checking of Fin
The inductive approach to stra
Combining search space partiti
基于迁移的扩展Buchi自动机到Buc
A note on the characterization
Structure of Proofs and the Co
Facilitating formal specificat
Linear Tabling Strategies and
有限精度时间自动机的可达性检测
基于共享位置的Petri网系统综合与保性
有限精度时间自动机的时钟表示
从基于迁移的扩展Büchi自动机到Büchi自动机
直觉线性μ-演算