【英语翻译不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思auto-maticabstraction的原句是wedescribeasyste】

问题：【英语翻译不是网上的那些什么翻译以及这个词组是什么意思auto-maticabstraction,abstraction这个单词除了抽象类似的意思在机械方面的话还具有什么意思auto-maticabstraction的原句是wedescribeasyste】

答案：↓↓↓

李艾华的回答：

网友采纳　　wedescribeasystemforautomaticallysynthesizingsimulators,whicharesuitedformodelcheckinginthattheysupportauto-maticabstraction我们称这个系统为自动生成模拟器,它适用于自动提取样...

刘梅花的回答：

网友采纳　　ASystemforSynthesizingAbstraction-EnabledSimulatorsforBinaryCodeVerification麻烦翻译上这个就选你了

李艾华的回答：

网友采纳　　一个用于二进制码校对并自动提取生成结果的模拟器系统