位置：成果数据库 > 会议 > 会议详情页
Evaluation of SAT-based Bounde
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：会议
  • 相关项目：软件形式化方法
作者： Yanyan Xu, Wei Chen, Liang Xu,
同会议论文项目
软件形式化方法
期刊论文 36 会议论文 33 著作 2
同项目会议论文
Compositionality of Fixpoint L
Connecting algebraic and logic
Logic Programs with Abstract C
Generating Polynomial Invarian
A model of component-based pro
Improvements for the Symbolic
Deriving a Stationary Dynamic
Extending the Strand Space Met
Discovering Non-Linear Ranking
Partition Refinement in Abstra
Towards a theory of component
What Semantic Equivalences are
A Generalized Gelfond-Lifschit
Compositional analysis for reg
Finding Relations Among Linear
Program verification by using
LTL Model Checking via Search
上下文无关文法的句子生成方法综
Model Checking with SAT-based
A Semantic Preorder on Refinem
Mechanized proofs for the Para
Computing Invariants for Param
Computing along the axon
A Test Data Generation Tool fo
Backtracking Algorithms and Se
Partitioning A boxes Based on
Efficient State Space Reductio
SAT-Based Verification of LTL
On trace languages generated b
Verification of ACTL Propertie
Generalized Unsolicited Tests
Towards practical computable f