formalverification

基本解释

• 形式验证

同根派生

 

• formalverification相关词