International Conference on Formal Engineering Methods
摘要截稿:
全文截稿: 2019-05-21
开会时间: 2019-11-05
会议难度:
CCF分类: C类
会议地点: Shenzhen, 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