Symbolic Execution
223
浏览
0
关注

In computer science, symbolic execution (also symbolic evaluation) refers to the analysis of programs by tracking symbolic rather than actual values, a case of abstract interpretation. The field of symbolic simulation applies the same concept to hardware. Symbolic computation applies the concept to the analysis of mathematical expressions. Symbolic execution is used to reason about all the inputs that take the same path through a program.
主要的会议/期刊
演化趋势
Chart will load here
Symbolic Execution文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜