位置：成果数据库 > 会议 > 会议详情页
Symbolic Model Checking the Knowledge in Herbivore Protocol
  • 所属机构名称：桂林电子科技大学
  • 会议名称：MoChArt 2010: 6th Int. Workshop on Model Checking and Artifficial Intelligence, 2010. LNCS, to appea
  • 成果类型：会议
  • 会场：Atlanta, Georgia
  • 相关项目：基于时态认知逻辑的特征交互无界模型检测
作者： Xiangyu Luo|Kaile Su|Ming Gu|Lijun Wu|Jinji Yang|
同会议论文项目
基于时态认知逻辑的特征交互无界模型检测
期刊论文 24 会议论文 15
同项目会议论文
基于ZING的Web服务建模与验证
Exact Weight Perfect Matching of Bipartite Graph is NP-Complete
Solving Sum and Product Riddle via BDD-based model checking
Model Checking Behavioral Specification of BPEL Web Services
Interest property of e-commerce protocols and its verification in strand space model
Interest property of e-commerce protocols and its verification in strand space model
Dynamic Web Services Composition Based on QoS Model
Translation-based Verification of Web Services Composition via ZING
Detecting feature interactions in web services with timed automata
Model checking Needham-Schroeder security protocol based on temporal logic of knowledge
A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems
Model checking airline tickets reservation system based on BPEL
Automatic verification of composite web services based on temporal and epistemic logic
The based-role PMI model for access control in large scale netware system