位置：成果数据库 > 会议 > 会议详情页
A note on the characterization of TL[EF]
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：会议
  • 相关项目：开放反应系统的模型检测与合成
同会议论文项目
开放反应系统的模型检测与合成
期刊论文 13 会议论文 15
同项目会议论文
Efficient State Space Reduction for Automata by Fair Simulation
LTL Model Checking via Search Space Partition
An Improved Case-Based Approach to LTL Model Checking
Property Preservation by Petri-net-based refinement in system design
Detection of disjunctive normal form predicate in distributed systems
Detection of a Set of States in Distributed Systems
Enhancing Simulation for Checking Language Containment
SAT-Based Verification of LTL Formulas
Property Preservation by Petri net synthesis in system design
Verification of ACTL Properties by Bounded Model Checking
SMT-Based Bounded Model Checking for Real-Time Systems
Evaluation of SAT-based Bounded Model Checking of ACTL Properties
Model Checking with SAT-Based Characterization of ACTL Formulas
Ehrenfeucht-Fraisse Games in Finite Set Theory