理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- causal
- causal analysis
- causal analytical method
- causal dependence
- causal discrete time system
- causal explanation
- causal forecasting method
- causal function
- causal future
- causal Green function
- causal Green's function
- causal inference
- causal invariance
- causality
- causality analysis
- causality analysis method
- causality condition
- causality in physics
- causality in quantum mechanics
- causal logic
- causal model
- causal network
- causal past
- causal reasoning
- causal relation