International Conference on Formal Engineering Methods
摘要截稿: 2017-04-30
全文截稿: 2017-05-07
开会时间: 2017-11-13
会议难度:
CCF分类: C类
会议地点: Xi'an, China
Overview
Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered. -Abstraction, refinement and evolution -Formal specification and modeling -Program analysis -Formal verification -Model checking -Formal approaches to software testing and inspection -Formal methods for self-adaptive systems -Formal methods for object-oriented systems -Formal methods for component-based systems -Formal methods for concurrent and real-time systems -Formal methods for cloud computing -Formal methods for cyber-physical systems -Formal methods for software safety, security, reliability and dependability -Tool development, integration and experiments involving verified systems -Formal methods used in certifying products under international standards -Formal model-based development and code generation