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.<br>Abstraction, refinement and evolution<br>Formal specification and modeling<br>Program analysis<br>Formal verification<br>Model checking<br>Formal approaches to software testing and inspection<br>Formal methods for self–adaptive systems<br>Formal methods for object–oriented systems<br>Formal methods for component–based systems<br>Formal methods for concurrent and real–time systems<br>Formal methods for cloud computing<br>Formal methods for cyber–physical systems<br>Formal methods for software safety, security, reliability and dependability<br>Tool development, integration and experiments involving verified systems<br>Formal methods used in certifying products under international standards<br>Formal model–based development and code generation<br>
Abbrevation
ICFEM
City
Shenzhen
Country
China
Deadline Paper
Start Date
End Date
Abstract