Submissions related to the following principal themes are encouraged,<br>but any topics relevant to the field of formal methods and their<br>practical applications will also be considered.<br>– Abstraction and refinement<br>– Formal specification and modeling<br>– Program analysis<br>– Software verification<br>– Software model checking<br>– Formal approaches to software testing<br>– Formal methods for self–adaptive systems, for object and component<br>systems, concurrent and real–time systems, for cloud computing and<br>cyber–physical systems, for software safety, security, reliability<br>and dependability<br>– Tool development, integration and experiments involving verified<br>systems<br>– Formal methods used in certifying products under international<br>standards<br>– Formal model–based development and code generation<br>This year, ICFEM will have special tracks on application of formal<br>methods in three areas:<br>– Computer security<br>– Aeronautics<br>– Train control systems<br>
Abbrevation
ICFEM
City
Paris
Country
France
Deadline Paper
Start Date
End Date
Abstract