系统设计的形式方法的英文

formal methods in system design

• 系统:    system
• 设计:    devise; project; p ...
• 的:    4次方是 The fourth po ...
• 形式:    form; shape; layou ...
• 方法:    method; means; way ...