symbolic variable

Symbolic solution for position analysis of robot with octahedral and decahedral variable geometry truss

八面体及十面体变几何桁架机器人位置分析的符号解法

Should n be a variable or a symbolic parameter?

n应该作为变量还是符号常量 呢 ?

effective scale and visibility of symbolic variable

符号变量的作用域及可视性

The semantic operation of the statement of complex structure, string and array variable is mapped to the operation of abstract memory on symbolic execution of the path, and the constraint of the path is recorded exactly in the abstract memory.

利用此抽象内存模型辅助符号执行被测路径，把路径执行过程中复杂结构体、字符串和数组变量的语义操作映射到对抽象内存的操作，通过抽象内存来精准的记录路径的约束条件。