求解,感觉state-explosion dead variable翻译成状态爆炸,死亡变量太鬼畜了


求解翻译成什么比较好一点。

已下是出现的原文
This paper describes the application of two abstraction techniques, namely dead variable
reduction and path reduction, to the microcontroller binary code in order to tackle the
state-explosion problem in model checking. These abstraction techniques are based on
static analyses, which have to cope with the peculiarities of the binary code such as
hardware dependencies, interrupts, recursion, and globally accessible memory locations.
An interprocedural static analysis framework is presented that handles these peculiarities.
Based on this framework, extensions of dead variable reduction and path reduction are
detailed. A case study using several microcontroller programs is presented in order to
demonstrate the efficiency of the described abstraction techniques.

单片机 c语言 嵌入式 英语

Uzziel 5 years, 1 month ago

 状态崩溃的坏变量

fredcml answered 5 years, 1 month ago

Your Answer