formalize formalize使: send; tell sb. to do sth.形式化: formalise; formalisierung; formalization; formalize形式化测试: formal testing形式化的: formalized形式化方法: formal methods下载手机词典可随时随地查词查翻译